Generators.GenTypedFlatCurry
genTypedFlatCurry