It would say, take an element of type T, the element type of the list, give me back a list of T, and it would have the obvious implementation, would create a new count cell with the given element, followed by the current list itself. 