Interesting but there's a lot of literature in Haskell especially on streams and fusion thereof already, so I'm surprised that the references doesn't include a review of the existing state of the art.
But yes, there is a lot of related work out there. Hopefully, my approach and introduced novelties can inspire in a way others have not.
and for the typing theorists streams are a canonical example of codata.