Text this: The Tortoise and the Hare Algorithm for Finite Lists, Compositionally.