Sometimes we want to curry a function over some argumentsthat appear at the end of the arg list order. This functioncurries 'fun' so that 'args1' are given to it after the input argsof the curry.