Function lift2

Source
pub fn lift2<TCon, TIn1, TIn2, TOut, F, X1, X2>(
    f: F,
    x1: &X1,
    x2: &X2,
) -> <TCon as WithTypeArg<TOut>>::Type
where TCon: Applicative + WithTypeArg<TIn1> + WithTypeArg<TIn2> + WithTypeArg<TOut> + ?Sized, F: Fn(&TIn1, &TIn2) -> TOut, X1: TypeApp<TCon, TIn1> + ?Sized, X2: TypeApp<TCon, TIn2> + ?Sized,