Function haskell_bits::functor::lmap

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