a[A]
Aa
b[B[a[A]]]
AaBb
c[C[a[A]]]
AaCc
d[D[c[C[b[B[a[A]]]]]]]
AaBbCcDd