One of the intentions of Haskell is to provide certain guarantees about whatever pure code is compiled. These guarantees are important for some applications (e

One of the intentions of Haskell is to provide certain guarantees about whatever pure code is compiled. These guarantees are important for some applications (especially concurrency and distributed parallelism). If these guarantees are lies, then there can be a problem. None of the examples are massively series, but hopefully it should prove the point that this topic matters.