The fact that something is a type variable makes it clear the that type of that thing doesn't matter.