base.Extension[S:imm,mut,read,R:imm,mut,read]

mut #(self: S): R,
mut #(self: S): R,