data Stream a = Cons a (Stream a)
S(x) = s0 + s1x1 + s2x2 + … = sixi
Herbert Wilf: Generatingfunctionology (1990), http://www.math.upenn.edu/~wilf/DownldGF.html