callF_gen - generalized callF (in case we strongly type callF? I forgot)