let empty = Map.empty