Predicate function type with 4 positional arguments.
typedef Predicate4<T1, T2, T3, T4> = Map4<T1, T2, T3, T4, bool>;