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