Index - N
| Nat | |
| 1 (Type/Class) | Data.Category.NaturalTransformation |
| 2 (Data Constructor) | Data.Category.NaturalTransformation |
| 3 (Type/Class) | Data.Category.NNO |
| NatAsFunctor | |
| 1 (Type/Class) | Data.Category.Coproduct |
| 2 (Data Constructor) | Data.Category.Coproduct |
| natId | Data.Category.NaturalTransformation |
| NatNum | |
| 1 (Type/Class) | Data.Category.Dialg |
| 2 (Type/Class) | Data.Category.NNO |
| NaturalNumberObject | Data.Category.NNO |