Type Alias Sub 

pub type Sub<Lhs, Rhs> = <Lhs as Length>::Sub<Rhs>;