T1(k1(pk),A)
T2(k2(pk),k1(fk:T1.k1),B)
T3(k3(pk),C,D)
T4(k4(pk),k2(fk:T2.k2),k3(fk:T3.k3),D,E)