haskell has integral typeclass includes integer, int, int32, int64, natural, etc.
is there similar typeclass in purescript?
we don't have integer-specific classes in purescript, there hierarchy of numeric classes:
each class adds laws, although commutativering , field classes have no operations not redundant.
any type euclideanring satisfies laws integral domains, generalise integers, think should suit needs.
fields have non-zero multiplicative inverses: mod b = 0 a , b, using constraint rule out possibility of integer division, etc. if that's you're looking for, don't want far down hierarchy.
