Aux
Tagger
apply
ClassicTagger
TaggedType
lifterF