Type Alias IsGroupoid 

pub type IsGroupoid<A> = IsSet<Qu<A>>;

is_groupoid(a) := is_set(~a).

This is the same as (~~~a == ~~a)^true.