gen_fun::summate: handle full specialization