identity, head, and tail