{-# LANGUAGE NPlusKPatterns #-}
module Main (main) where
f (n + 3) = n