base.caps.IsoViewer'[T:iso,imm,R:imm,mut,read]

mut #(x: readH T): R,
mut #(x: readH T): R,