Type Alias Eq 

pub type Eq<A, B> = <A as IsEqual<B>>::Output;

Alias for the associated type of IsEqual: Eq<A, B> = <A as IsEqual<B>>::Output