[jmillikin]

  > Actually, most of the techniques presented there do have
  > some use cases in real code.

Really?

Even the sane-looking entries ("Freshman" through "Another senior") are going to have performance problems. "Yet another senior" through "Combinatory" have some minor applications to real-world code, but none of them are demonstrated here. "List-encoding" and onward degenerate into type-class wanking and absurdity -- they don't belong anywhere near a compiler.