Function haskell_bits::applicative::lap

pub fn lap<TCon: ?Sized, TIn, TOut, TFunc, F, X>(
    f: F, 
    x: X
) -> <TCon as WithTypeArg<TOut>>::Type where
    TCon: LinearApplicative + WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>,
    TFunc: Fn(TIn) -> TOut,
    F: TypeApp<TCon, TFunc>,
    X: TypeApp<TCon, TIn>,