Unorderable Either

"distinguish" already observes values of type Either a b, but it doesn't
reveal as much information as it could in the LL and RR cases.
"unorder" does.