Function haskell_bits::applicative::lift_c

pub fn lift_c<TCon: ?Sized, T, U>(x: U::Param) -> U where
    TCon: Lift + WithTypeArg<T>,
    T: Is<Type = U::Param>,
    U: TypeApp<TCon, T>,
    <TCon as WithTypeArg<T>>::Type: TypeApp<TCon, T>,