"kW[[A],u[B],[A],enriec`4[e[AGeneri`1[[A]]],u[C]]]