Added naive translation using Template Haskell.