How to type annotate functions which take functions as args

[rdeits]

A couple of relevant prior discussions, in case you’re interested:

• Ability to define function templates - #7 by jeff.bezanson
• Function Parameter Speculation #17168 - #7 by jameson
• Proposal for a first-class dispatch wrapper