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

mut .some(x: readH T): R,
mut .empty: R,
mut .some(x: readH T): R,
mut .empty: R,