There's little value for parametric polymorphism at this level as it requires parameters (not only type parameters, but also value parameters, as otherwise the

There's little value for parametric polymorphism at this level as it requires parameters (not only type parameters, but also value parameters, as otherwise the type parameter are dangling). It's better to think of these types as different. Maybe "primitive types" or "shapes".