Index - N
| NAT | Proarrow.Category.Instance.Fin |
| Nat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Nat |
| 3 (Data Constructor) | Proarrow.Category.Instance.Nat |
| 4 (Type/Class) | Proarrow.Category.Instance.Mat |
| 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.Strictified |
| 2 (Data Constructor) | Proarrow.Category.Instance.List |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Strictified |
| 4 (Data Constructor) | Proarrow.Profunctor.Fix |
| 5 (Data Constructor) | Proarrow.Category.Instance.Mat |
| 6 (Data Constructor) | Proarrow.Profunctor.Free |
| no | Proarrow.Category.Instance.Zero |
| NT | Proarrow.Category.Instance.Nat |