Abstracting over things that can be unpacked
alexey.skladnoy at gmail.com
Mon Mar 5 09:36:48 CET 2012
> As I mentioned further up in the email, I think this needs to be done at
> compile time. However, I'm not sure type classes are the right mechanism, as
> they don't guarantee that the polymorphism is resolved at compile time.
> Perhaps type families, in some form, is the right solution.
There is problem with type families. Currently GHC is unable to unpack them.
More information about the Glasgow-haskell-users