Index
| !! | Natural |
| !!! | Natural |
| AsNatural | Natural |
| AsPositive | Natural |
| drop | Natural |
| drop1 | Natural |
| elemIndex | Natural |
| elemIndex1 | Natural |
| elemIndices | Natural |
| elemIndices1 | Natural |
| findIndex | Natural |
| findIndex1 | Natural |
| findIndices | Natural |
| findIndices1 | Natural |
| HasNatural | Natural |
| HasPositive | Natural |
| length | Natural |
| length1 | Natural |
| list | Natural |
| list1 | Natural |
| MaxNatural | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| MaxPositive | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| MinNatural | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| MinPositive | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| minus | Natural |
| minus1 | Natural |
| minusone | Natural |
| multiply | Natural |
| multiply1 | Natural |
| Natural | Natural |
| natural | Natural |
| naturalPositive | Natural |
| notZero | Natural |
| one | Natural |
| one' | Natural |
| oneOr | Natural |
| plus | Natural |
| plus1 | Natural |
| plusone | Natural |
| Positive | Natural |
| positive | Natural |
| ProductNatural | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| replicate | Natural |
| replicate1 | Natural |
| splitAt | Natural |
| splitAt1 | Natural |
| square | Natural |
| square1 | Natural |
| successor | Natural |
| successor' | Natural |
| successor1 | Natural |
| successor1' | Natural |
| successorW | Natural |
| SumPositive | |
| 1 (Type/Class) | Natural |
| 2 (Data Constructor) | Natural |
| take | Natural |
| take1 | Natural |
| zero | Natural |
| zero' | Natural |
| zeroOr | Natural |
| _Natural | Natural |
| _Positive | Natural |