For a list of pairs, how to check if there exists an element such that the domain is the same but the range is different in Haskell?

Question

I have a list of pairs like this:

[(1,2),(2,3)]

I want to check that for all elements that agree on the first element, they also agr