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!
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
