Hi all, I was wondering if it's possible to have a class declaration that would except both unlifted types and lifted types as instances. For instance, I'm looking for something like class Foo a b where bar :: a -> b instance Foo Int Int where bar = id instance Foo Int# Int where bar = iBox Regards, Phyx