How can I define A and B depending from each other typed class using refined library?

Question

Problem:

I have a case class Passenger, that starts from point A and goes to point B.

A valid passenger means that point A doesn\'t equal to po