Type Alias InvertOut 

pub type InvertOut<A> = <A as Invert>::Output;