DEPRECATED This project has been merged into haskell-playground typelevel-experiment Because playing around with 300 GHC extensions is fun.