やりにくいね
一応
liftA2 (&&) <$> ((>) `on` fst) <*> ((<) `on` snd)
みたいに書けるけど、俺ならラムダで書く
¥(x0, y0) (x1, y1) -> x0 > x1 && y0 < y1