Hi Juan,
you are right, List might be thought as a type constructor. The reason why I wrote the post is to explain typing in a simple way. Unfortunately, that means that I had to skip some concepts, like type constructors.

Regarding my definition of a class vs type, for the purpose of this post, I thought of type to be the behavior/interface whereas class would be the implementation of that behavior.

Thanks for pointing out the type constructor!