let mem s x = 
  Map.mem x s.find