Use packages patched to use import "tagged" Data.Proxy for now