Thinking Recursively, Rethinking Corecursively [pdf] | Hacker News Reader