G'day all.
Quoting Jean-Philippe Bernardy <jeanphilippe.bernardy at gmail.com>:
> It is also much more inline with the
> haskell style. See for example, Num class:
> (+) :: a -> a -> a
A lot of people don't like this type, especially for multiplication. It
makes implementing types based on vector spaces much more complicated,
for example.
Cheers,
Andrew Bromage