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

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