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.<p>I mean, I understand &#x2F;why&#x2F;, but sometimes I really longed for a blunt instrument.