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