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