import Control.Monad
f :: Int -> Int
f = (+ 3)