more combinators for comparisons