Blog: Higher-Rank Types

universal quantificationuniversal quantification