RT @jamesiry: You know when you Google "recursion" and click "do you mean recursion" again and again until you quit? Yeah, that's actually co-recursion.