Module Variadic.Make

('f,'r) t is a list of arguments, where 'f defines the arrow type of the arguments, and 'r is the return type. C.f., 'f and 'r with the first and last parameter of the format type constructor.

'a arg is an Applicable value

args x creates a singleton list of arguments that can be applied to a function that takes x argument, and returns a value of type 'b.

args $x appends argument x to a list of arguments args.

apply args ~f applies function f to arguments args.