[Haskell-cafe] Type inference