[Haskell-cafe] Why does Haskell not infer most general type?

[Ross Paterson]

On Tue, Apr 06, 2010 at 05:18:34PM -0400, Job Vranish wrote:
> So in Haskell 98, would the added constraints result in a type error?

Yes, because the types of the mutually recursive identifiers would be
inferred together without using the type signatures, and then would
fail to match the declared types.

But then there aren't any implementations of Haskell 98 to test this on.