quantified types