let
concat path1 path2 =
f2s (
PathOperation
.concat (s2f path1) (s2f path2))