Function fmapconst

pub fn fmapconst<TCon, TIn, TOut, X>(
    e: &TOut,
    x: &X,
) -> <TCon as WithTypeArg<TOut>>::Type
where
    TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized,
    TOut: Clone + ?Sized,
    X: TypeApp<TCon, TIn>,