4 ms·

`T` and `T?` being different types is encoding in the type system. It is a different encoding, though.