Type Alias ShiftDiffOut 

pub type ShiftDiffOut<A, Rhs> = <A as ShiftDiff<Rhs>>::Output;