Blog: Existential types

universal quantificationuniversal quantification