Data.Tagged
Tagged values
data
Tagged
s b
retag
untag
tagSelf
untagSelf
asTaggedTypeOf