Comment by nimish

That's fair, and I commend the effort. That said, there's richer structures: https://www.sciencedirect.com/science/article/pii/S030439759...

and for the typing theorists streams are a canonical example of codata.