callF_gen - generalized callF (in case we strongly type callF? I forget what the plan is with this. anyway, we are *calling functions*)