Data.Tagged
Tagged values
data
Tagged
s b
retag
untag
tagSelf
untagSelf
asTaggedTypeOf
Proxy values
data
Proxy
p
reproxy
asProxyTypeOf
Conversion
proxy
unproxy