base.Consumer[A:iso,imm,mut,read]

mut #(a: A): imm base.Void,
mut #(a: A): imm base.Void,