но это как раз LiquidHaskell/DependentHaskell исправлять должны
Скажем, в Idris ты бы согласился, что стоит так делать?
Обсуждают сегодня