Second draft of hofs-with-recursion lab.