To me that makes just as much sense as saying that every type should have a zero, or that every type should have the empty string. Just nonsense. If a type is

To me that makes just as much sense as saying that every type should have a zero, or that every type should have the empty string. Just nonsense. If a type is not a boolean already, the only way to get a boolean out of it is by using a comparison function.