stop using reproxy.

GHC 7.8 provides Data.Proxy and "tagged" will stop exporting
its Data.Proxy. Unfortunately, GHC 7.8's Data.Proxy does not
have "reproxy". This patch fixes this problem.