On 2017-06-20 07:28 PM, Joachim Durchholz wrote: > It depends on evaluation strategy I'd say. No, without nailing an evaluation strategy, Haskell 2010 (and 98, and ...) still manages to denotationally rule out the parallel-or example.