Как я могу определить A и B в зависимости от каждого другого типизированного класса, используя библиотеку refind?

Question

Проблема:

У меня есть кейс класса Пассажир, который начинается с пункта А и переходит в пункт Б.

Действительный пассажир означает, что точка A не равна точке B.

Passenger(
  a: Int,
  b: Int
)

Вопрос:

Как я могу создать класс Пассажира, используя библиотеку refind для достижения цели?

Я думаю, что Пассажир должен принять два или один уточненный тип параметров, например:

    Passenger[A, B Refined NotEqual[A]](...)