CurryInfo: flatcurry