I agree with you. I just wanted to point out, that the relaxed booleans do not have to be a property of the language, but can be done in a library. (Hey, even `if' could be a library function in Haskell. (And really, should be.))
There's some lifting approaches that construct those functions mostly automatically for you, as wrappers around the base functions on Booleans.