Tags: coalgebra, Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022) choosing total relations gives directionality Ehrenfest coinductively
