Я начал работать через Эрика Мейера13 лекций (и Грэм ХаттонслайдыРазучить Haskell.

На слайдах к главе 4 на стр. 13 представлен синтаксис сопоставления с образцом для n + k шаблонов. В частности, это говорит:

Как и в математике, функции на целых числах могут быть определены с использованием n + k шаблонов, где n - целочисленная переменная, а k>0 является целочисленной константой.

pred :: Int -> Int
pred (n+1) = n

Когда я попробовал это самостоятельно в REPL, я получаю сообщение об ошибке:

*Main> let mypred (n+1) = n

:65:13: Parse error in pattern: n + 1

Точно так же, если я попробую это в*.hs файл

mypred :: Int -> Int
mypred (n+1) = n

Компилятор дает похожую жалобу:

/Users/pohl/Code/praxis-haskell/helloworld.hs:14:9:
    Parse error in pattern: n + 1

Я не понимаю, как шаблоны n + k предназначены для использования?