Ge[A,B,A,eric`3[AA,BGeneric`4[A,B,C],BGeneric`1[[A]],C],B,C,C]