[Haskell-cafe] Aren't type system extensions fun? [Further analysis]

[Roberto Zunino]

Roberto Zunino wrote:
> Uhmm... you mean something like (neglecting TC-related issues here)
> 
> class C a b where
>    fromChar :: Char -> a
>    fromBool :: Bool -> b

Oops: i meant something like

class C x a b | x -> a,b where
    fromChar :: x -> Char -> a
    fromBool :: x -> Bool -> b


Zun.