Data.Tagged

Tagged values

data Tagged s b

retag

untag

tagSelf

untagSelf

asTaggedTypeOf

witness

Conversion

proxy

unproxy