let tlSafe = function
      [] -> []
    | _::t -> t