Type Constructors have *parameters*, when they are substituted with type *arguments*, we have a type.