| %% | Overloaded.Categories, Overloaded |
| assoc | Overloaded.Categories |
| BicartesianCategory | Overloaded.Categories, Overloaded |
| Bind | |
| 1 (Type/Class) | Overloaded.Do, Overloaded |
| 2 (Data Constructor) | Overloaded.Do, Overloaded |
| build | Overloaded.Constructors |
| CartesianCategory | Overloaded.Categories, Overloaded |
| Category | Overloaded.Categories, Overloaded |
| CategoryWith0 | Overloaded.Categories |
| CategoryWith1 | Overloaded.Categories |
| CCC | Overloaded.Categories, Overloaded |
| CocartesianCategory | Overloaded.Categories, Overloaded |
| codeFromLabel | Overloaded.CodeLabels, Overloaded |
| codeFromString | Overloaded.CodeStrings, Overloaded |
| CommutativeCategory | Overloaded.Categories |
| 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 |
| defaultAssoc | Overloaded.Categories |
| defaultFromNumeral | Overloaded.Numerals, Overloaded |
| defaultLunit | Overloaded.Categories |
| defaultRunit | Overloaded.Categories |
| defaultSwap | Overloaded.Categories |
| defaultUnassoc | Overloaded.Categories |
| defaultUnlunit | Overloaded.Categories |
| defaultUnrunit | Overloaded.Categories |
| 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 |
| HasConstructor | Overloaded.Constructors |
| identity | Overloaded.Categories, Overloaded |
| ifte | Overloaded.If, Overloaded |
| Initial | Overloaded.Categories |
| initial | Overloaded.Categories |
| inl | Overloaded.Categories, Overloaded |
| inr | Overloaded.Categories, Overloaded |
| IsCodeLabel | Overloaded.CodeLabels, Overloaded |
| IsCodeString | Overloaded.CodeStrings, Overloaded |
| konst | Overloaded.Categories |
| lunit | Overloaded.Categories |
| match | Overloaded.Constructors |
| monad | Overloaded.Do, Overloaded |
| Monad' | Overloaded.Do, Overloaded |
| MonoidalCategory | Overloaded.Categories |
| 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 |
| runit | Overloaded.Categories |
| SemigroupalCategory | Overloaded.Categories |
| swap | Overloaded.Categories |
| Tensor | Overloaded.Categories |
| 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 |
| unassoc | Overloaded.Categories |
| Unit | Overloaded.Categories |
| unlunit | Overloaded.Categories |
| unrunit | Overloaded.Categories |
| unwrapArrow | Overloaded.Categories |
| WrapArrow | Overloaded.Categories |
| WrappedArrow | Overloaded.Categories |