a[A]
Aa
b[B[A]]
ABb
c[C[A]]
ACc
d[D[C[A]]]
ACDd