Index - D
| Dec | Type.Class.Witness |
| decCase | Type.Class.Witness |
| DecEquality | Type.Class.Witness |
| decideEquality | Type.Class.Witness |
| decomp | Data.Type.Sum |
| decompF | Data.Type.Sum |
| diagonal | Data.Type.Vector |
type-combinators-0.1.0.0: A collection of data types for type-level programming.