Executable trait implementations for this combinator. Executable predicates and refined-format implementations.