A function created by a function can be evaluated. Note that the creating function needs to provide the implementation, likely inline (but can sometimes also be a reference to an existing implementation, when the type doesn't matter).
Description
Description