[Haskell-cafe] rank 2 polymorphism example