In article <[EMAIL PROTECTED]>,
Glynn Clements <[EMAIL PROTECTED]> wrote:
> > instance Num Vector where
>
> Except that class instances have to be algebraic datatypes ("data") or
> renamed datatypes ("newtype"), but not type synonyms ("type").
That's not true, is it? I mean as long as there isn
In article <[EMAIL PROTECTED]>,
Andrew J Bromage <[EMAIL PROTECTED]> wrote:
> This suggests that wrapping each "standard" mathemtaical
> function/operator in its own typeclass would have literally
> no run-time performance penalty:
>
> class Plus a b c | a b -> c where
> (+) :: a
