[Haskell-cafe] A voyage of undiscovery

[Andrew Coppin]

Andrew Coppin wrote:
> Awesome. So by attempting to implement Haskell's type system, I have 
> discovered that I actually don't understand Haskell's type system. 
> Who'd have thought it?
>
> Clearly I must go consult the Report and check precisely what the 
> rules are...

I just read section 4.5 of the Haskell 98 Report.

Ouch! >_<

I knew I'd be sorry I asked... Time for bed, I think!