| Id | Control.Category.Constrained.Reified.PolyPattern |
| id | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| ifThenElse | Control.Arrow.Constrained, Control.Category.Constrained.Prelude |
| inCategoryOf | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| init | Control.Category.Hask, Control.Category.Constrained.Prelude |
| initial | Control.Arrow.Constrained |
| Int | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Integer | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Integral | Control.Category.Hask, Control.Category.Constrained.Prelude |
| interact | Control.Category.Hask, Control.Category.Constrained.Prelude |
| IO | Control.Category.Hask, Control.Category.Constrained.Prelude |
| IOError | Control.Category.Hask, Control.Category.Constrained.Prelude |
| ioError | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isDenormalized | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isIEEE | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isInfinite | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isNaN | Control.Category.Hask, Control.Category.Constrained.Prelude |
| isNegativeZero | Control.Category.Hask, Control.Category.Constrained.Prelude |
| iso | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| Isomorphic | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| IsProduct | Data.CategoryObject.Product |
| iterate | Control.Category.Hask, Control.Category.Constrained.Prelude |