`any` hides an interesting fact, the actual type. And it would be nice to show how to use this:

    integer (integer) fref = f;
    integer ret = fref(42);