let sfold0 = Fold.sfold0