Existential type

1. REDIRECT Type system#Existential types {{R with possibilities}}

Category:Type theory