Как написать псевдоним формы Alias<T, N>, который дает std::tuple<T1, T2,... TN>

Пример: Ts<int, 5> ints; //decltype(ints) = std::tuple<int, int, int, int, int>

Другой пример: Ts<std::string, 3> strs; //decltype(strs) = std::tuple<std::string, std::string, std::string>;

Я попытался написать этот код для достижения этой цели:

namespace detail {
    template<typename Tuple, typename TupleElem, size_t N>
    struct TypeRecursion {
        using Type = std::conditional_t<
            std::tuple_size_v<Tuple> == N, 
            Tuple,
            typename TypeRecursion<decltype(std::tuple_cat(Tuple{}, std::tuple<TupleElem>{})), TupleElem, N>::Type
        >;
    };
}

template<typename T, size_t N>
using Ts = typename detail::TypeRecursion<std::tuple<T>, T, N>::Type;

Но MSVC выдает мне ошибку: recursive type or function dependency too complex. Я посмотрел на выходные данные компилятора, и всякий раз, когда я пытался ввести Ts<T, N>, он пытался получить std::tuple из миллиона T, поэтому я думаю, что базовый случай почему-то неверен для моего шаблона класса TypeRecursion. Хотя я не понимаю, почему.