Creates a new instance from a higher-order function.
The specified function takes a total function to call a future result function recursively, and returns a partial function handles a value.
Returns an empty partial function.
Creates a new instance from a partial function.