base.MF[A:iso,imm,mut,read,B:iso,imm,mut,read,R:iso,imm,mut,read]

mut #(a: A, b: B): R,
mut #(a: A, b: B): R,