Data.Proxy.Compat
asProxyTypeOf