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