如何使用refind库定义A和B依赖于彼此类型的类？

Question

问题:

我有一个案例类Passenger,从A点开始,到B点.

有效乘客意味着A点不等于B点.

Passenger(
  a: Int,
  b: Int
)

题:

如何使用refind库设计Passenger类来达到目标​​？

我认为乘客应该采取两个或一个精炼类型的参数,如:

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