В Haskell мне нужно начать ghci с -XNPlusKPatterns или добавить {-# LANGUAGE NPlusKPatterns #-} в исходный файл, чтобы это работало:
pred :: Int -> Int
pred 0 = 0
pred (n + 1) = n
Является ли паттерн n+k преднамеренным пропуском во Фреге или существует способ включить его?
