Type states that tell what state of a instantiation argument has not yet been set properly for a valid construction.