:: [char] -> [char] -> [char] package:yesod-paginator

Append two lists, i.e.,

[x1, ..., xm] ++ [y1, ..., yn] == [x1, ..., xm, y1, ..., yn]
[x1, ..., xm] ++ [y1, ...] == [x1, ..., xm, y1, ...]

If the first list is not finite, the result is the first list.

tailDef [12] [] = [12]
tailDef [12] [1,3,4] = [3,4]