| deBasic | Top.Interface.Basic |
| DefaultDirective | Top.Implementation.Overloading |
| defaultHeuristics | Top.Implementation.TypeGraph.DefaultHeuristics |
| defaultOptions | Top.Types.Quantification, Top.Types |
| defaultToStar | Top.Types.Kinds, Top.Types |
| defaultValue | Top.Util.Option |
| deleteClique | Top.Implementation.TypeGraph.Standard |
| deleteEdge | |
| 1 (Function) | Top.Implementation.TypeGraph.Class |
| 2 (Function) | Top.Implementation.TypeGraph.ClassMonadic |
| deQual | Top.Interface.Qualification |
| deselect | Top.Monad.Select |
| deselectFix | Top.Monad.Select |
| deselectFixFor | Top.Monad.Select |
| deselectFor | Top.Monad.Select |
| deSubst | Top.Interface.Substitution |
| deTI | Top.Interface.TypeInference |
| Direction | Top.Ordering.Tree |
| discardConstraints | Top.Interface.Basic |
| DisjointDirective | Top.Implementation.Overloading |
| disjointDirective | Top.Constraint.Information |
| disjointFPS | Top.Types.Substitution, Top.Types |
| disjointLabel | Top.Implementation.Overloading |
| doChecks | Top.Interface.Basic |
| dom | Top.Types.Substitution, Top.Types |
| dontUseIdentifiers | Top.Types.Quantification, Top.Types |
| doWithoutEdge | Top.Implementation.TypeGraph.Heuristic |
| doWithoutEdges | Top.Implementation.TypeGraph.Heuristic |
| Down | Top.Ordering.Tree |
| Dual | |
| 1 (Data Constructor) | Top.Solver |
| 2 (Type/Class) | Top.Solver |