Revamping the numeric classes

[Marcin 'Qrczak' Kowalczyk]

07 Feb 2001 11:47:11 +0100, Ketil Malde <ketil@ii.uib.no> pisze:

> If it is useful to have a fine granularity of classes, you can
> imagine doing:
> 
>         class Multiplicative a b c where
>                 (*) :: a -> b -> c

Then a*b*c is ambiguous no matter what are types of a,b,c and the
result. Sorry, this does not work. Too general is too bad, it's
impossible to have everything at once.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK