On Dec 20, 2011, at 8:38 PM, Ben Lippmeier wrote:

Some would say that non-termination is a computational effect, and I can argue either way depending on the day of the week.

*shrug* I figure that whether you call _|_ a value is like whether you accept the Axiom of Choice: it is a situational decision that depends on what you are trying to learn more about.

Of course, the history books show that monads were invented *after* it was decided that Haskell would be a lazy language. Talk about selection bias.

True, but I am not quite sure how that is relevant to _|_...

Cheers,

Greg