callF_gen - generalized callF (in case we strongly type callF? I forget what the plan is)