Struct S1
lambdaski
pub struct S1<X>(pub PhantomData<X>);
impl<X, T> A<T> for S1<X>
type O = S2<X, T>