Bjorn Lisper wrote: > precisely the same as _|_. Only certain kinds of nontermination can be > modeled by _|_ in a non-strict language. What kinds of nontermination are modeled by _|_ in Haskell?