scalaz
Universal quantification by doubly negating an existential.
Construct a universal quantifier by continuation-passing.