Subject: [PATCH] website: posts: Fix typos in Dissecting Guix, Part 2: The Store Monad.

From: Wolf <[email-masked]>
Date: Sun, 30 Apr 2023 18:22:17 +0200

* website/posts/dissecting-guix-2-store-monad.md: Fix typos.
---

Missing `we'. I've also tweaked one code example, since the output in the
blogpost did not match the code. Probably just a typo.

 website/posts/dissecting-guix-2-store-monad.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/website/posts/dissecting-guix-2-store-monad.md b/website/posts/dissecting-guix-2-store-monad.md
index cd48d3e..da512ee 100644
--- a/website/posts/dissecting-guix-2-store-monad.md
+++ b/website/posts/dissecting-guix-2-store-monad.md
@@ -169,8 +169,8 @@ First of all, we'll revert to our original definitions of `remove-a` and
       (nothing)))
 ```
 
-What if tried introducing higher-order procedures (procedures that accept other
-procedures as arguments) into the equation?  Because we're functional
+What if we tried introducing higher-order procedures (procedures that accept
+other procedures as arguments) into the equation?  Because we're functional
 programmers and we have an unhealthy obsession with that sort of thing.
 
 ```scheme
@@ -320,8 +320,8 @@ expressions to symbols, and are essentially equivalent to a chain of
 ;; This is equivalent...
 (mlet* %maybe-monad ((str -> "abad") ;non-monadic binding uses the -> symbol
                      (str1 (remove-a str))
-                     (str2 (remove-b str)))
-  (remove-a str))
+                     (str2 (remove-b str1)))
+  (remove-a str2))
 ⇒ #<<maybe> is?: #t value: "d">
 
 ;; ...to this:
@@ -330,9 +330,9 @@ expressions to symbols, and are essentially equivalent to a chain of
        (lambda (str)
          (remove-a str))
        (lambda (str1)
-         (remove-b str))
+         (remove-b str1))
        (lambda (str2)
-         (remove-a str))))
+         (remove-a str2))))
 ```
 
 Various abstractions over these two exist too, such as `mwhen` (a `when` plus an
-- 
2.39.2