3 ms·

I wonder if the type information itself is typed ? The abstraction probably (must?) breaks down somewhere.