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