No matches were found for subject:"\[Haskell\-cafe\] Fwd\: Is it possible to represent such polymorphism\?"