Index - N
| Nat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| 3 (Type/Class) | Proarrow.Category.Instance.Simplex |
| Nat' | |
| 1 (Type/Class) | Proarrow.Category.Instance.Nat |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| NatK | Proarrow.Category.Instance.Nat |
| Nil | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Category.Instance.List |
| 3 (Type/Class) | Proarrow.Category.Bicategory |
| 4 (Data Constructor) | Proarrow.Profunctor.Fix |
| NT | Proarrow.Category.Instance.Nat |