Re: [Haskell-cafe] haskell-src type inference algorithm?