| C0 | Data.Diverse.TypeLevel, Data.Diverse |
| C2 | Data.Diverse.TypeLevel, Data.Diverse |
| C3 | Data.Diverse.TypeLevel, Data.Diverse |
| C4 | Data.Diverse.TypeLevel, Data.Diverse |
| C5 | Data.Diverse.TypeLevel, Data.Diverse |
| C6 | Data.Diverse.TypeLevel, Data.Diverse |
| Case | Data.Diverse.Case, Data.Diverse |
| case' | Data.Diverse.Case, Data.Diverse |
| CaseFunc | |
| 1 (Type/Class) | Data.Diverse.CaseFunc, Data.Diverse |
| 2 (Data Constructor) | Data.Diverse.CaseFunc, Data.Diverse |
| CaseFunc' | |
| 1 (Type/Class) | Data.Diverse.CaseFunc, Data.Diverse |
| 2 (Data Constructor) | Data.Diverse.CaseFunc, Data.Diverse |
| CaseFunc1 | |
| 1 (Type/Class) | Data.Diverse.CaseFunc, Data.Diverse |
| 2 (Data Constructor) | Data.Diverse.CaseFunc, Data.Diverse |
| CaseFunc1' | |
| 1 (Type/Class) | Data.Diverse.CaseFunc, Data.Diverse |
| 2 (Data Constructor) | Data.Diverse.CaseFunc, Data.Diverse |
| CaseResult | Data.Diverse.TypeLevel, Data.Diverse |
| CaseResults | Data.Diverse.TypeLevel, Data.Diverse |
| Cases | Data.Diverse.Cases, Data.Diverse |
| cases | Data.Diverse.Cases, Data.Diverse |
| cases' | Data.Diverse.Cases, Data.Diverse |
| CasesN | Data.Diverse.Cases, Data.Diverse |
| casesN | Data.Diverse.Cases, Data.Diverse |
| casesN' | Data.Diverse.Cases, Data.Diverse |
| Collect | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| collect | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| CollectN | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| collectN | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| Collector | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| CollectorN | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| Complement | Data.Diverse.TypeLevel, Data.Diverse |
| consMany | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |