Type Alias GrEq 

pub type GrEq<A, B> = <A as IsGreaterOrEqual<B>>::Output;

Alias for the associated type of IsGreaterOrEqual: GrEq<A, B> = <A as IsGreaterOrEqual<B>>::Output