Lift to let you construct two types
T<B> can be found at
<T<A> as Lift3<A, B, C>>::Target2, and
<T<A> as Lift<A, B>>::Target1.
The naming convention is that the
Targets are numbered from right to left.