The generation of globally fresh variables (the Lisp community uses the famous gensym function for this purpose) is notoriously non-functional. Template Ha

The generation of globally fresh variables (the Lisp community uses the famous gensym function for this purpose) is notoriously non-functional. Template Haskell uses a variant of the IO monad to hide the global state involved in the definition of gensym.