[Haskell-cafe] Throwback of inferred types