{-# LANGUAGE NPlusKPatterns #-}

f (n+3) = n