Function lmap

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