Yeah, I'll rewrite to clarify. Because we're doing this after erasure "its type" and "its erased type" are the same thing.