[PostScript]
Reflexive (\rel): trait introduces __ \rel __: T, T -> Bool asserts forall x: T x \rel x