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

Question

Проблема:

У меня есть класс дел Passenger, который начинается с точки A и переходит в точку B.

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

Passenger(
  a: Int,
  b: Int
)

Вопрос:

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

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

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

Пример:

Я ожидаю, что следующий код не скомпилируется:

Passenger(42, 42)

И это правильно компилируется:

Passenger(1, 42)