[Haskell-cafe] Rank-2-polymorphism problem