See: Monoidal stream computation References: Introduction to Coalgebra (Jacobs) Comonadic Notions of Computation (Uustalu, Vene)
