Here is some relevant discussion: http://lambda-the-ultimate.org/node/2003 Also,...

KeithMajhor on June 17, 2012 | parent | context | favorite | on: Strong functional programming

Here is some relevant discussion: http://lambda-the-ultimate.org/node/2003

Also, codata doesn't solve everything. You still can't filter infinite data. Filtering with \x -> x > 0 won't terminate for all infinite lists of numbers since [0 0 0 0 0 ...] is a potential case.