Predicates iters defines all predicate arguments as OptionalPredicate[T] where T is the item type of the iterable.