let
uncomparable x y = not (comparable x y)