Monoidal streams via actionsLast updated Sep 8, 2023Tags: Optics, Monoidal category of streams, coalgebra