[Haskell-cafe] Haskell V Java type checking