{\displaystyle \forall \alpha .\alpha \to \alpha \to \alpha }