That's right. Type constructors are related to generics. For example if you have a generic type `List<A>` you could think of `List` as a type constructor. In m

That's right. Type constructors are related to generics. For example if you have a generic type `List<A>` you could think of `List` as a type constructor. In most languages, however, that's not a construct you can do much of anything with.