Adt.tag => Adt.$tag