Unsafe.Unique.Tag

data Tag s a

newTag

veryUnsafeMkTag