Re: [Haskell-beginners] question on types

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@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms