Hi Henning, I have often wondered if the notion of lazy list evaluation isn't an example of constructive mathematics. ? Vasili -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080526/a443faac/attachment.htm