base.MapMapRead[K,V,R]

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