Data.Proxy

data Proxy t

asProxyTypeOf

data KProxy t