Tagged/Proxy are covariantly representable