Index
| !! | Natural |
| AsNatural | Natural |
| drop | Natural |
| elemIndex | Natural |
| elemIndices | Natural |
| findIndex | Natural |
| findIndices | Natural |
| HasNatural | Natural |
| length | Natural |
| list | Natural |
| MaxNatural | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| MinNatural | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| minus | Natural |
| Natural | Natural |
| natural | Natural |
| one | Natural |
| one' | Natural |
| ProductNatural | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| replicate | Natural |
| splitAt | Natural |
| successor | Natural |
| successor' | Natural |
| take | Natural |
| zero | Natural |
| zero' | Natural |
| _Natural | Natural |