[Haskell-cafe] Is it possible to represent such polymorphism?

[David Barbour]

On Sun, Oct 2, 2011 at 6:04 AM, Du Xi <sdiyazg at sjtu.edu.cn> wrote:

> --Is it possible to get around this and write the "expand" function? Of
> course, x and y may be of different types
>

Not as written, but try HList.
http://hackage.haskell.org/package/HList
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111002/9df91cba/attachment.htm>