base.MF[A,B,R]

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