Existential type example added