PartialOrderingRelation ? (\x,y -> abstractPart x y)