lambda1@tg says to YSITD That is, it makes sense to talk about a whole family of types. This formalizes the intuitive notion of parametric polymorphism