The Type Student Is Already Defined