1 2 3 4 5 6 7 8 9 10 11 12 13
-- Test n+k patterns {-# LANGUAGE NPlusKPatterns #-} module Main where f (n+1) = n g :: Int -> Int g (n+4) = n main = print (f 3) >> print (g 9)