let
empty =
SMap
.empty