もしかしたら最新の GHC では取り除かれているかも知れませんが、
下記のようにパターンの中で簡単な計算をするのは
どういう名前の言語拡張でしたっけ？

f :: Int -> Int -> Int
f (n + 1) x = ・・・