Как на C++ написать рекурсивную функцию, возвращающую диапазон?

В C++ мы сталкиваемся с двумя проблемами при написании рекурсивной функции, возвращающей диапазон:

• тип базового случая отличается от типа рекурсивного случая
• диапазоны часто включают лямбды, поэтому тип возвращаемого значения — auto, что предотвращает рекурсию.

Позвольте мне проиллюстрировать это разложением суммы . Вот строгое (не ленивое) решение

std::list<std::list<unsigned int>> SumDecompStrict(unsigned int n)
{
    if (n == 0)
        return { {} }; // the sum of the empty list is 0 by convention
    std::list<std::list<unsigned int>> ret;
    for (unsigned int k = 1; k <= n; k++)
    {
        std::list<std::list<unsigned int>> ll = SumDecompStrict(n - k);
        for (auto& l : ll)
            l.push_front(k);
        ret.splice(ret.end(), std::move(ll));
    }
    return ret;
}

Теперь я хочу преобразовать это в ленивый генератор разложения суммы, возвращая диапазон, который может выглядеть так:

auto SumDecompLazy(unsigned int n)
{
    if (n == 0)
        return std::ranges::single_view<std::list<unsigned int>>({}); // the sum of the empty list is 0 by convention
    return std::views::iota(1, n+1)
        | std::views::transform([n](unsigned int k) {
            return SumDecompLazy(n - k)
                | std::views::transform([k](std::list<unsigned int>& l) { l.push_front(k); return l; });
            }
        | std::views::join;
}

Но SumDecompLazy не скомпилируется из-за двух упомянутых проблем:

• тип std::ranges::single_view<std::list<unsigned int>>({}) отличается от типа рекурсивного случая
• тип автоматического возврата предотвращает вызов SumDecompLazy от самого себя

Эта проблема решается в других языках программирования, например, с помощью типа IEnumerable в C# или его псевдонима seq в F#. Есть ли решение на C++?