template <class F, class... Args> concept bool Predicate = RegularInvocable<F, Args...> && Boolean<result_of_t<F&&(Args&&...)>>;