CFtoTemplateGADT
cf2Template