Sample code demonstrating features of typed Template Haskell.