A singly-linked list that is guaranteed to be non-empty.
Append one nonempty list to another.
7.0.3
7.0.2