1{-# LANGUAGE NPlusKPatterns #-}
2
3f (n+3) = n
4