unapply

Extractor NewType TaggedType

unsafeCast

TaggedType0

untag

TaggedOps TaggedType classic PostfixSugar

utils

supertagged