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

29 May 2008

      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.