F#: more descriptive name for HOF.