On Sat, Mar 28, 2009 at 3:03 AM, Henning Thielemann <lemming@henning-thielemann.de> wrote:
What about using a custom list type, that has only one constructor like (:), that is, a type for infinite lists?

You mean Data.Stream? 

Interesting that this module's zipWith does not do lazy pattern matching, even though it only supports infinite lists.