Aux
Tagger
apply
ClassicTagger
NewType
TaggedType
lifterF