base.MapMapMut[K:imm,V:imm,mut,read,R:imm,mut,read]

mut #(k: K, v: V): R,
mut #(k: K, v: V): R,