Opposition to progressive measures by types