pub fn lift2<'a, A, B, C, MA, MB, MC, MF, F>(fun: F, a: MA, b: MB) -> MCwhere
F: Fn(A, B) -> C + 'static,
A: Clone + 'static,
B: Clone + 'a,
C: 'a,
MA: Apply<'a, A, Target<C> = MC> + Functor<'a, A, Target<ApplyFn<'a, B, C>> = MF>,
MB: Apply<'a, B, Target<C> = MC> + Apply<'a, B, Target<ApplyFn<'a, B, C>> = MF>,
MC: Apply<'a, C, Target<A> = MA>,
MF: Apply<'a, ApplyFn<'a, B, C>>,