Data.Finite
data Finite n
packFinite
packFiniteProxy
finite
finiteProxy
getFinite
finites
finitesProxy
equals
cmp
natToFinite
weaken
strengthen
shift
unshift
weakenN
strengthenN
shiftN
unshiftN
weakenProxy
strengthenProxy
shiftProxy
unshiftProxy
add
sub
multiply
combineSum
combineProduct
separateSum
separateProduct
isValidFinite