let
empty = (
M
.empty,
S
.empty,
None
)