Trait TysFun
identity::lift
pub trait TysFun<Params: TyList> { type Result: ?Sized; }
type Result: ?Sized
impl<R: ?Sized> TysFun<Nil> for R
impl<Param: ?Sized, Params: TyList, F: TyFun<Param>> TysFun<Cons<Param, Params>> for F where F::Result: TysFun<Params>,