Fixed display bug for existential types