let rec repeat teacher n =
   if n > 0 then
      (repeat teacher (n-1)) |-> teacher 
   else
      empty