pub type Negate<A> = <A as Neg>::Output;
Alias for the associated type of Neg: Negate<A> = <A as Neg>::Output
Neg
Negate<A> = <A as Neg>::Output