CFtoAbstractGADT
cf2Abstract