Note that we must now be careful to use an explicit multiplication sign where juxtaposition might be wrongly interpreted as function application.We might want to express functions of more than one argument, such as addition lab.a+b, but we can always express these as functions of one argument which return another function, e.g. la.(lb.a+b).This transformation is called Currying, after Haskell Curr