Create an Integral typeclass?

[bitmappergit]

Should things like mod be moved to be in an Integral typeclass and div added?

Honestly, a lot of the Integer specific functions might be able to be moved there.

[stylewarning]

I've thought the answer should be "yes", but I always wonder when some type classes are too many.

This one is probably entirely reasonable! :)

[eliaslfox]

Here is Haskell's Integral type class for reference.