[Haskell-beginners] question on types

[Brandon Allbery]

Ask yourself this: is True *every* instance of Ord?  You are expecting
it to be an "any", but it's an "every" (forall).

By the way, True happens to be an instance of Ord but it doesn't have
to be.  You're working backwards here, I think.  It happens that
useful operations on things in class Ord generally produce Bool; that
doesn't mean Bool must be Ord.


-- 
brandon s allbery                                      allbery.b at gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms