base.MapMapImm[K,V,R]

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