Type-Level Instant Insanity [PDF]

Check out article 3 in the issue. He writes a program to solve a simple puzzle game entirely in the Haskell type system. Including building up notions for booleans, lists, functions, and map/filter/comprehensions from scratch.