Functional permaproxy — proxying an object mediated through a getter function