3 ms·

Oh very nice. I had no idea that scoped type variables was anything more than an extension to the syntax.