Re[2]: [Haskell-cafe] Throwback of inferred types