Data.Tagged

Tagged values

data Tagged s b

retag

untag

tagSelf

untagSelf

asTaggedTypeOf