On 9/16/07, Mads Lindstrøm <[EMAIL PROTECTED]> wrote:
> But what if I want to "apply" the 'b' ? How do I do that ?
The following uses type families (functions) and compiles under GHC HEAD:
{-# OPTIONS_GHC -XTypeFamilies -XEmptyDataDecls -XTypeSynonymInstances #-}
data Foo a b
class Bar (x :: * -> *)
instance Bar (Foo a)
type family BarB a b :: * -> *
type instance BarB a b = Foo b
instance Bar (BarB a b)
regards,
Bas van Dijk
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
