Type Alias Add

pub type Add<A: Int, B: Int> = <A as IntAdd<B>>::Output;