main = \x. x + (3 : Int)
