C++ already had a level of dependent types for a long time.

    template<int N> 
    class T;

    constexpr int N = f();
    T<N> var;