Everything

• A cryptic Haskell expression
• Bracket abstraction and the S combinator
• Embedding a logic programming language in Haskell
• Fun with the function arrow monad
• Unification in 75 lines of Haskell