Index - N
| N | Type.Family.Nat |
| N0 | Type.Family.Nat |
| N1 | Type.Family.Nat |
| N10 | Type.Family.Nat |
| N2 | Type.Family.Nat |
| N3 | Type.Family.Nat |
| N4 | Type.Family.Nat |
| N5 | Type.Family.Nat |
| N6 | Type.Family.Nat |
| N7 | Type.Family.Nat |
| N8 | Type.Family.Nat |
| N9 | Type.Family.Nat |
| Nat | Data.Type.Nat |
| natCompare | Data.Type.Nat.Inequality |
| NatEQ | Data.Type.Nat.Inequality |
| NatEq | Type.Family.Nat |
| NatGT | Data.Type.Nat.Inequality |
| NatLT | Data.Type.Nat.Inequality |
| natVal | Data.Type.Nat |
| neq1 | Type.Class.Higher |
| neq2 | Type.Class.Higher |
| neq3 | Type.Class.Higher |
| nilFSum | Data.Type.Sum.Lifted |
| nilNotCons | Type.Family.List |
| nilSum | Data.Type.Sum |
| Not | Type.Family.Bool |
| not' | Data.Type.Boolean |
| nothingCong | Type.Family.Maybe |
| nothingNotJust | Type.Family.Maybe |
| Nothing_ | Data.Type.Option |
| Null | Type.Family.List |
| nullCong | Type.Family.List |