All tagged type A