move type_if