let ext s x = 
  fold s Set.add x Set.empty