let sfold0sep = Fold.sfold0sep