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