base.Consumer[A,B]

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