sum type by means of quantifier