let bottom = Map M.empty