let
empty =
S
.empty