Function lap

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