let is_empty s = 
  s.find == Map.empty