You already converted your library stuff to use unfold? I'm impressed. And you already found cases where the state wasn't just an integer counting up (or down)? I am very pleased.