let
callback_both f =
(
fun
student _ grades
->
f student grades; (student,grades))