Я недавно начал играть с жидким haskell, и из всех уроков, которые я смог найти, я не смог найти...

Я следую руководству Liquid Haskell: http://ucsd-progsys.github.io/liquidhaskell-tutorial/04-poly

Проблема: Давайте представим, что у нас есть Пассажир с начальной и конечной точками,...