Clarify where `f` is defined

A colleague found the status quo confusing, because it says "the function f below" but there is no normal function definition of f. This MR adds "defined in the Foo constructor record below", which hopefully clarifies matters.