template<
typename Functor
, typename Seed
, Requires<
concepts::Invokable<Functor&, void(Seed)>
, concepts::Nullable<ResultOf<Functor&(Seed)>>
, concepts::Tuple<concepts::ElementType<ResultOf<Functor&(Seed)>>>
, Bool<(tuple_size<concepts::ElementType<ResultOf<Functor&(Seed)>>>() >= 1)>
>...
>