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