two styles for monoidal streams

Last updated Apr 14, 2025

Tags: monoidal streams, arrow notation.