| Cartesian | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| CartesianAgent | Control.Arrow.Constrained |
| CartesianAttachUnit | Control.Category.Constrained.Reified |
| CartesianCompo | Control.Category.Constrained.Reified |
| CartesianDetachUnit | Control.Category.Constrained.Reified |
| CartesianId | Control.Category.Constrained.Reified |
| CartesianRegroup | Control.Category.Constrained.Reified |
| CartesianRegroup_ | Control.Category.Constrained.Reified |
| CartesianSwap | Control.Category.Constrained.Reified |
| Category | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| CategoryCompo | Control.Category.Constrained.Reified |
| CategoryId | Control.Category.Constrained.Reified |
| CatTagged | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| ceiling | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Char | Control.Category.Hask, Control.Category.Constrained.Prelude |
| choose | Control.Arrow.Constrained |
| CoCartesian | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| coFst | Control.Arrow.Constrained |
| compare | Control.Category.Hask, Control.Category.Constrained.Prelude |
| concat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| concatMap | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Foldable.Constrained |
| Const | |
| 1 (Data Constructor) | Control.Category.Hask |
| 2 (Type/Class) | Control.Category.Hask |
| 3 (Data Constructor) | Control.Category.Constrained.Reified.PolyPattern |
| const | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Arrow.Constrained, Control.Category.Constrained.Prelude |
| constPure | Control.Applicative.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| constrained | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| ConstrainedCategory | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| constrainedFmap | Control.Functor.Constrained, Control.Applicative.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ConstrainedFunction | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| constrainedFZipWith | Control.Applicative.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| ConstrainedMorphism | Control.Category.Constrained |
| coRegroup | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| coRegroup' | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| cos | Control.Category.Hask, Control.Category.Constrained.Prelude |
| cosh | Control.Category.Hask, Control.Category.Constrained.Prelude |
| coSnd | Control.Arrow.Constrained |
| coSwap | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| CRCartesian | Control.Category.Constrained.Reified.PolyPattern |
| CRCategory | Control.Category.Constrained.Reified.PolyPattern |
| CRMorphism | Control.Category.Constrained.Reified.PolyPattern |
| CRPreArrow | Control.Category.Constrained.Reified.PolyPattern |
| CRWellPointed | Control.Category.Constrained.Reified.PolyPattern |
| Curry | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| curry | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| cycle | Control.Category.Hask, Control.Category.Constrained.Prelude |