Some examples on co-inducitive definitions functions on infinite lists.