let
empty =
M
.empty