type 'a stream = unit -> 'a * 'a stream;; type series = Num.num stream;;