Unsafe.Unique.Tag
data
Tag
s a
newTag
veryUnsafeMkTag