G	[A,BGeneric`A[3A,BGeneric[A,B,C],B,C],B,C,C]