"is already type" --> "its type erases to" -- right?