sinterface PossiblyPureMap<A, B> extends Map<A, B> {
  // these methods may return the map itself or a modified copy
  
  Map<A, B> put_possiblyPure(A key, B value);
  Map<A, B> remove_possiblyPure(O key);
}