Yes, but limited to being applied at compile-time, with constant arguments. Fully general dependent type would allow passing in runtime values, which is signif

Yes, but limited to being applied at compile-time, with constant arguments. Fully general dependent type would allow passing in runtime values, which is significantly harder to type-check and execute