To me, it was mostly about new ways to force the compiler consider a number a number. You have one integer from monad a, another from monad b and want to use them as parameters for a function in monad c.

I mean, I understand /why/, but sometimes I really longed for a blunt instrument.