let remove m k = M.remove k m