[Haskell-cafe] Type system madness

[Albert Y. C. Lai]

Andrew Coppin wrote:
> I stand in awe of people who actually understand what "universal" and 
> "existential" actually mean... To me, these are just very big words that 
> sound impressive.

I offer to relieve that with http://www.vex.net/~trebla/allsome.txt

I think of formal logic as clarifying thought and semantics, cleaning up 
the mess caused by idiosyncracies in natural languages (both syntax and 
semantics) such as English. But not many people realize they are in a 
mess needing cleanup.