main : _Int ;
main = (\x. x+x+3) ((\x. x) 2) ;
