Re: [Haskell-cafe] Type checking with Haskell