relationship between type projections and existentials