This is the drive behind comonadic UI frameworks in functional programming - streams of mutual recursion.