let really_ignore_grades teacher =
   (fun student _ grades -> 
      let (res,_) = teacher student [] [] in
      (res,grades)
   )