Invariant: the names of the args have been made unique
The type constructor, applied to its arguments