Annotate first, rest, empty?, and reduce functions.