Type Alias PrivateAndOut 

pub type PrivateAndOut<A, Rhs> = <A as PrivateAnd<Rhs>>::Output;