Too bad we're stuck with concepts-lite, where templates are still untyped and the scoping is all still done the same old messy way.