A2[A]
B2[B[A2[A]].]
C[B2[B[A2[A]].]]
D2[C[B2[B[A2[A]].]]]