CFtoAbstractGADT

cf2Abstract