module FunctionArgument () where

foo :: Int -> Int
foo y = y + 1