Function lift

pub fn lift<TCon, T>(x: T) -> <TCon as WithTypeArg<T>>::Type
where
    TCon: Lift + WithTypeArg<T> + ?Sized,
    <TCon as WithTypeArg<T>>::Type: TypeApp<TCon, T>,