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