. . "Yes, the existence of Type, or more particularly its consequence that we can talk about ???functions from types to types???, is what I referred to above as ???parametric polymorphism???." . .