@hackage / tagged-th

QuasiQuoter and Template Haskell splices for creating proxies at higher-kinds