A few observations about completing the challenges.

Unfolding a simulation

Nondeterminism, list monads, and dodgy heuristics