check reduced type