Allow monadic predicates.