16 Sep
2007
16 Sep
'07
8:45 p.m.
On 9/16/07, Mads Lindstrøm <mads_lindstroem@yahoo.dk> 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