Coinductive streamsLast updated Oct 4, 2022Tags: Stream, Coalgebra References:Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)