type A is (B, C, D);
