Data.Proxy
Tagged values
data
Proxy
s
reproxy
asProxyTypeOf
Conversion
proxy
unproxy