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

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