Type Alias Sub

pub type Sub<A: Int, B: Int> = <A as IntSub<B>>::Output;