pub type Sub1<A> = <A as Sub<B1>>::Output;
Alias to make it easy to subtract 1: Sub1<A> = <A as Sub<B1>>::Output
Sub1<A> = <A as Sub<B1>>::Output