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.