Index - N
| Nat | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
| NatF | |
| 1 (Type/Class) | Data.Category.Dialg |
| 2 (Data Constructor) | Data.Category.Dialg |
| NatNum | |
| 1 (Type/Class) | Data.Category.Dialg |
| 2 (Type/Class) | Data.Category.Peano |
| NatO | Data.Category.NaturalTransformation |
| Next | |
| 1 (Type/Class) | Data.Category.Discrete |
| 2 (Data Constructor) | Data.Category.Discrete |
| Nil | Data.Category.Discrete |