タイトルにわざと色々詰め込んでとても長くしてみましたが、一言で言うとContravariantなApplicative使うとそれらが共通化出来て便利なことに気がついたのでpull reqしました。という内容です。

以前書いたこれコンパイル時に、 String を lift json に変換する macro https://github.com/xuwei-k/json_macro