Orchid XP v8 wrote:
> Awesome. On further investigation, it turns out my understanding of > Haskell's type system is actually incorrect. And, unsurprisingly, my > program is incorrect too; it rejects expressions that it should actually > accept.
Oh look, somebody has produced a helpful T-shirt explaining it all:
http://www.cafepress.com/skicalc.6225368
Isn't that nice?
