| %% | Overloaded.Categories, Overloaded |
| BicartesianCategory | Overloaded.Categories, Overloaded |
| Bind | |
| 1 (Type/Class) | Overloaded.Do, Overloaded |
| 2 (Data Constructor) | Overloaded.Do, Overloaded |
| CartesianCategory | Overloaded.Categories, Overloaded |
| Category | Overloaded.Categories, Overloaded |
| CategoryWith1 | Overloaded.Categories |
| CCC | Overloaded.Categories, Overloaded |
| CocartesianCategory | Overloaded.Categories, Overloaded |
| Cons | |
| 1 (Type/Class) | Overloaded.Lists, Overloaded |
| 2 (Type/Class) | Overloaded.Lists.Bidi |
| cons | |
| 1 (Function) | Overloaded.Lists, Overloaded |
| 2 (Function) | Overloaded.Lists.Bidi |
| Coproduct | Overloaded.Categories, Overloaded |
| defaultFromNumeral | Overloaded.Numerals, Overloaded |
| distr | Overloaded.Categories, Overloaded |
| DoMethod | Overloaded.Do, Overloaded |
| eval | Overloaded.Categories, Overloaded |
| Exponential | Overloaded.Categories, Overloaded |
| fanin | Overloaded.Categories, Overloaded |
| fanout | Overloaded.Categories, Overloaded |
| FromChar | Overloaded.Chars, Overloaded |
| fromChar | Overloaded.Chars, Overloaded |
| fromList | Overloaded.Lists, Overloaded.Lists.Bidi |
| FromNat | Overloaded.TypeNats, Overloaded |
| FromNatC | Overloaded.TypeNats, Overloaded |
| FromNatural | Overloaded.Naturals, Overloaded |
| fromNatural | Overloaded.Naturals, Overloaded |
| FromNumeral | Overloaded.Numerals, Overloaded |
| fromNumeral | Overloaded.Numerals, Overloaded |
| FromSymbol | Overloaded.Symbols, Overloaded |
| fromSymbol | Overloaded.Symbols, Overloaded |
| FromTypeSymbol | Overloaded.TypeSymbols, Overloaded |
| FromTypeSymbolC | Overloaded.TypeSymbols, Overloaded |
| GeneralizedElement | Overloaded.Categories |
| identity | Overloaded.Categories, Overloaded |
| ifte | Overloaded.If, Overloaded |
| inl | Overloaded.Categories, Overloaded |
| inr | Overloaded.Categories, Overloaded |
| konst | Overloaded.Categories |
| monad | Overloaded.Do, Overloaded |
| Monad' | Overloaded.Do, Overloaded |
| Nil | Overloaded.Lists, Overloaded |
| nil | |
| 1 (Function) | Overloaded.Lists, Overloaded |
| 2 (Function) | Overloaded.Lists.Bidi |
| Object | Overloaded.Categories |
| plugin | Overloaded.Plugin, Overloaded |
| Product | Overloaded.Categories, Overloaded |
| proj1 | Overloaded.Categories, Overloaded |
| proj2 | Overloaded.Categories, Overloaded |
| Pure | |
| 1 (Type/Class) | Overloaded.Do, Overloaded |
| 2 (Data Constructor) | Overloaded.Do, Overloaded |
| Terminal | Overloaded.Categories |
| terminal | Overloaded.Categories |
| Then | |
| 1 (Type/Class) | Overloaded.Do, Overloaded |
| 2 (Data Constructor) | Overloaded.Do, Overloaded |
| ToBool | Overloaded.If, Overloaded |
| toBool | Overloaded.If, Overloaded |
| transpose | Overloaded.Categories, Overloaded |