base.MF[A,R]

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