GHC.Natural
Natural
data Natural
isValidNatural
wordToNatural
naturalToWordMaybe
minusNaturalMaybe
powModNatural