# Type application

A type constructor is applied to a type or another type constructor, depending on its kind, similarly to how functions are applied to arguments at the term level.C Tapplies the type constructorCto the typeT.Type application associates to the left, so the typeA B Cis the same as the type(A B) C.