[Haskell-cafe] unboxed types in classes

[Phyx]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100414/fc7610bf/attachment.html