Genc`2[[A&,[B]],B,C]