base.MF[A,B,C,R]

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