A templating mechanism in Haskell to produce java code.