On: Haskell's Type Classes: We Can Do Better

The toyish version showed in tutorials, yes. The real stuff, no, it's just .. integers.

And anyway, my point was that you can do much much more than type level arithmetic.