Auto-generate final encodings and their isomorphisms using Template Haskell - View it on GitHub