:: [char] -> [char] -> [char] package:Agda

Tail function (safe). Returns a default list on empty lists. O(1).
init, safe. O(n).