InstanceType

Constructs a type consisting of the instance type
of a constructor function in Type.