Singly-linked list specs