fib = 0 : 1 : next fib where next (a: t@(b:_)) = (a+b) : next t