a type for proxies