Bjorn Lisper wrote: > Nontermination is not > the precisely the same as _|_. Only certain kinds of nontermination > can be modeled by _|_ in a non-strict language. What kinds of non-termination are *not* modelled by _|_ in Haskell? Thanks, Brian.