I agree with this guy: there should be a Semiring typeclass

Totes understood all of it. EZ

Why would you use those infix functions on any type other than a number?

Also can you provide a link to this SO question?

I vaguely remember Haskell from 2nd year uni. That was like 13 years ago though.

@IamGoD I believe it's this:
https://stackoverflow.com/questions...

I use Haskell pretty much every day, it does have its bits of weirdness that work fine for most use cases but fall apart for a few.
Records, for example.

Do check out Idris for mathematically sound integers though.