Improved syntax for application. Now it is not forced to be curried