Creating the instance of a function type

[raminammour]

This thread seems to have some clues, and I would heed the advice rather than relying on internals…