Package dtypes - Namespaces

• Data.DEq.Operators

  Module with operators for the `DEq` intrerface I put them in a separate module to make it possible to avoid name ambiguities.
• Data.DEq

  A module defining the `DEq` interface
• Data.DFoldable
• Data.DFunctor.Operators

  Module with operators for the `DFunctor` intrerface I put them in a separate module to make it possible to avoid name ambiguities.
• Data.DFunctor
• Data.DList.Impl

  Implementations of `DFunctor` and `DFoldable` for `DList`
• Data.DList

  A module defining the dependent list and its interface
• Data.DOrd

  A module defining the `DOrd` interface
• Data.DShow
• Data.DSum

  A module defining a dependent sum
• Data.Some

  A module defining the `Some` type