Index - D
| Decision | Data.Singletons.Decide, Data.Singletons.TH |
| Demote | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| DemoteRep | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Disproved | Data.Singletons.Decide, Data.Singletons.TH |