!! | 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 |