"kW[[A],u[B],[A],eniec`4[e[AGeneric`1[[A]]],u[C]]]