Type Alias Gr 

pub type Gr<A, B> = <A as IsGreater<B>>::Output;

Alias for the associated type of IsGreater: Gr<A, B> = <A as IsGreater<B>>::Output