Index - :
| :% | Data.Category.Functor |
| :***: | |
| 1 (Type/Class) | Data.Category.Product |
| 2 (Data Constructor) | Data.Category.Product |
| :**: | |
| 1 (Type/Class) | Data.Category.Product |
| 2 (Data Constructor) | Data.Category.Product |
| :*-: | Data.Category.Functor |
| :*: | |
| 1 (Type/Class) | Data.Category.Limit |
| 2 (Data Constructor) | Data.Category.Limit |
| :+: | |
| 1 (Type/Class) | Data.Category.Limit |
| 2 (Data Constructor) | Data.Category.Limit |
| :-*: | Data.Category.Functor |
| :.: | |
| 1 (Type/Class) | Data.Category.Functor |
| 2 (Data Constructor) | Data.Category.Functor |
| :/\: | Data.Category.Comma |
| ::: | Data.Category.Discrete |
| :::: | Data.Category.Discrete |
| :~> | Data.Category.NaturalTransformation |