template<bool ZeroInput = false, typename Output , typename Input ,
require_tuple_t< Output > * = nullptr,
require_tuple_t< Input > * = nullptr,
require_t< std::bool_constant< std::tuple_size_v< std::decay_t< Output > >==0 > > * = nullptr,
require_t< std::bool_constant< std::tuple_size_v< std::decay_t< Input > >==0 > > * = nullptr>