Index - D
| Dec | Type.Class.Witness |
| decCase | Type.Class.Witness |
| DecEquality | Type.Class.Witness |
| decideEquality | Type.Class.Witness |
| decomp | Data.Type.Sum |
| Delete | Data.Type.Product.Env |
| delete' | Data.Type.Product.Env |
| diagonal | Data.Type.Vector |
| Difference | |
| 1 (Type/Class) | Data.Type.Difference |
| 2 (Type/Class) | Data.Type.Product.Env |
| difference' | Data.Type.Product.Env |
| diffLen | Data.Type.Difference |
| diffProd | Data.Type.Difference |
| diffSum | Data.Type.Difference |
| disjC | Type.Class.Witness |