Properly implement Proxied for proxy Fns