An oldie but a goodie. It served as a nice introduction to type-level metaprogramming for me a couple years ago and changed my code forever. For better, I maintain, though plenty I've met would disagree.