Make negative-position Proxy/Tagged polymorphic where possible