type A is tagged