A
A
B[A]
AB
C[A]
AC
D[C[B[A]]]
ABCD