let
next t = t.next ()