Predicate function type with 5 positional arguments.
typedef Predicate5<T1, T2, T3, T4, T5> = Map5<T1, T2, T3, T4, T5, bool>;