Move `proxy` and `unproxy` to Data.Tagged