Universal and Existential Quantification in Haskell
In logic, there are two common quantifiers: the universal quantifier and the existential quantifier....
Tags: haskell