Stream functions

Tags: List opmonoidal comonad, Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022). References:

• Comonadic Notions of Computation (Uustalu, Vene)
• Sprunger, Katsumata.