reduced types of the field to be implemented as first