Existential type: Some
