Patched versions of packages that use the "tagged" package.  These use import "tagged" Data.Proxy for now.  This should get things working until these packages start using the base version of Data.Proxy.