Index - N
| Nat | |
| 1 (Data Constructor) | Data.Category.NaturalTransformation |
| 2 (Type/Class) | Data.Category.NaturalTransformation |
| NatAsFunctor | |
| 1 (Data Constructor) | Data.Category.Boolean |
| 2 (Type/Class) | Data.Category.Boolean |
| natId | Data.Category.NaturalTransformation |
| NatNum | |
| 1 (Type/Class) | Data.Category.Dialg |
| 2 (Type/Class) | Data.Category.Peano |
| Nil | Data.Category.Discrete |