let sfold1 = Fold.sfold1