Ge[A,BGenec`3[AA,BGeneric`3[A,B,C],B,C],B,C,C]