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