coinductive streamsLast updated Apr 23, 2024Tags: stream, coalgebra References:Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)