fix predicate combinator associated types