Function haskell_bits::applicative::lift2

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