References: A Synthetic Approach to Markov Kernels (Fritz, 2020) Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
