Type Alias Equal 

pub type Equal<X, A, B> = App<App<FEq, X>, Tup<A, B>>;

eq{x}(a, b).

Aliased Type

pub struct Equal<X, A, B>(/* private fields */);