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

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to