17     let
 18         val (l1, l2) = split(tl(tl(l)))
 19     in
 20         (hd(l) :: l1, hd(tl(l)) :: l2)
 21     end;