чтобы сделать Point+Point

Если у тебя не будет структур тебе не нужно будет делать Point+Point

если у меня не будет структур мне придется колхозить их

причем сишку то ничего не извиняет, т.е. это не просто такой референсный "лоу левел язык", это тупо древний язык, с кучей мусора и странностей

типа разрешения складывания интов с флотами

И UB на этапе компиляции

Не вижу ничего плохого в уб

Зато это не скучно

кто шарит в typelevel equality? как такую елку победить?

mulComm :: Natural m -> Natural n -> m :*: n :~: n :*: m
mulComm NumZ NumZ = T.Refl
mulComm (NumS pm) NumZ = case mulComm pm NumZ of T.Refl -> T.Refl
mulComm NumZ (NumS pn) = case mulComm NumZ pn of T.Refl -> T.Refl
mulComm (NumS m) (NumS n) =
  case mulComm m (NumS n) of
    T.Refl -> case mulComm n (NumS m) of
      T.Refl -> case addAssoc n m (mulP n m) of 
        T.Refl -> case addAssoc m n (mulP m n) of 
          T.Refl -> case addComm m n of 
            T.Refl -> case mulComm m n of T.Refl -> T.Refl

тем временем в хаскель чате

Черт, где хоть какие-то разделители

Нихрена непонимаю

что непонятно? Тут прям в питон стиле написано

табы это скоупы

правда что за операторы :*: :~: я не знаю

case addAssoc m n (mulP m n) of

похоже на умножение и эквивалентность

Просто набор слов с одной скобочкой, лол

ты меня запутал, с большой буквы написал