Well, we don't actually have a Proxy type, though maybe we should, for documentation purposes.