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

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