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