add tagged/Proxy for ghc-7.6.