Tagged type a