GHC.Natural
Natural
data Natural
isValidNatural
naturalFromInteger
wordToNatural
naturalToWordMaybe
minusNaturalMaybe
powModNatural