[Haskell-cafe] hugs type inference