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

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