Heads and tails of list, and simple equivalence functions.