These are really awesome examples of equational reasoning. I’ve heard people call equational reasoning “just marketing hype” and claim it “breaks when monads are involved” - as you can see, it’s totally not true.

Programs as just mathematical equations! That’s the whole point of Haskell. Totally and utterly brilliant, right?