attempt predicate type constraints