Use the operator form of a function, currying its second argument:

Curry a function of three arguments, keeping their order:

This is an operator form of Integrate that curries two integration variables:

Apply it to a function of variables and :

That is equivalent to:

Construct an operator form of D that curries its differentiation variable:

Apply the operator form:

Curry a function of 3 arguments, keeping their order:

Apply the operator form of a function of 3 reordered arguments using a permutation:

These are operator forms taking 4 arguments, but only 2 of them are passed to the function f:

Use arguments of the operator form with any bracketing structure:

Use an operator form of Level with default option values:

Pass options to Level:

Take an operator form of Composition for 3 functions:

Feed the 3 functions sequentially:

Apply the composition to an expression:

Specify how many arguments are functions to be composed:

Use OperatorApplied to construct the opposite order of a given ordering function:

Build an array of subscripted variables:

Build the K and S combinators using OperatorApplied:

The combinations SKK and SKS are equivalent to the identity:

Build the B and C combinators using S and K:

OperatorApplied[f,arity] represents the same operator as CurryApplied[f,arity]:

OperatorApplied[f] is equivalent to OperatorApplied[f,{2,1}]:

CurryApplied[n][f] is equivalent to CurryApplied[f,n]:

OperatorApplied[f][x,y] is equivalent to ReverseApplied[f][x,y]:

For a function of zero arguments, OperatorApplied[f,0] returns f[]:

If additional arguments are provided, the empty pair of brackets is still inserted:

Curry OperatorApplied itself:

Compare to Construct:

For positive n, OperatorApplied[Construct,n][f] is equivalent to OperatorApplied[f,n-1]:

The relation also holds for n=1:

Compose two OperatorApplied operators with a permutation and its inverse:

The result is equivalent to using OperatorApplied without reordering the arguments:

Take two permutation lists of the same length:

Compose the corresponding OperatorApplied operators:

Alternatively, use OperatorApplied with their permutation product, in the same order: