let teach teacher student =
   let (student,_) = teacher student [] [] in
   student