[Haskell-cafe] Monomorphism restriction