Generation of functions with a very flexible signature

Generalization of curry-2 and curry-3

Generalized compose

Generation of approximations to differentiated functions

The cartesian product of two sets

Powerset

Generation of get-prop