such that if

is a function which can take a given object

as argument, then there is a function

of the type

which is formally equivalent to