Ge[A,BBGenierc`1[AA,yGeneric`3[A,B,C],B,C],B,C,C]