References The Method of Coalgebra (Rutten), Exercise 94. A Coinductive Calculus of Streams (Rutten, 2005) Tags: streams as coalgebra, Taylor series.
