First-order parametric polymorphism has some limita-
tions, however. Although it allows to abstract over types,
which yields type constructors such as List, these type con-
structors cannot be abstracted over. For instance, one cannot
pass a type constructor as a type argument to another type
constructor.