前のポストでGADTを使って型付きの抽象構文木（AST）を表現する方法について書いたが、ここではそのASTから他の言語のコード生成する方法について調査・検討した結果を記す。@keigoiさんの記事（http://d.hatena.ne.jp/keigoi/20111206/haskell_tagless_dsl…