haskell
Logical equivalences in Haskell