base.MapMapRead[K,V,R]

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