type_contrains