By the same token, you could make `classTypeParameterAsSeen` and `instParams` accept `TypeRef`s rather than `Type`s.