pub type Add1<A> = <A as Add<B1>>::Output;
Alias to make it easy to add 1: Add1<A> = <A as Add<B1>>::Output
Add1<A> = <A as Add<B1>>::Output