References A Coinductive Calculus of Streams (Rutten, 2005) Tags: monoidal Mealy machine, coalgebra, stream.
