identity::lift::TyPair [] [src]

type TyPair<A: ?Sized, B: ?Sized> = Cons<A, Cons<B, Nil>>;