From 2b18fb397d2b476bcf6d3f3b0e40be0febb60de8 Mon Sep 17 00:00:00 2001
From: SophieBosio <sophie.bosio@outlook.com>
Date: Mon, 2 Oct 2023 22:30:39 +0200
Subject: [PATCH] Formatting

---
 content/posts/monads-haskell.md | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/content/posts/monads-haskell.md b/content/posts/monads-haskell.md
index 4c1a2f6..edae017 100644
--- a/content/posts/monads-haskell.md
+++ b/content/posts/monads-haskell.md
@@ -80,12 +80,10 @@ log. Then `add` and `square` can return this type!
 type LoggedInt = (Int, [String])
 
 add :: Int -> Int -> LoggedInt
-add n m = (n + m,
-           ["Added " ++ show n ++ " to " ++ show m])
+add n m = (n + m, ["Added " ++ show n ++ " to " ++ show m])
 
 square :: Int -> LoggedInt
-square n = (n^2,
-            ["Squared " ++ show n])
+square n = (n^2, ["Squared " ++ show n])
 ```
 
 But now, you can't really chain these together, because both functions take
@@ -122,13 +120,11 @@ type LoggedInt = (Int, [String])
 
 add :: LoggedInt -> LoggedInt -> LoggedInt
 add (n, log1) (m, log2) =
-  (n + m,
-   log1 ++ log2 ++ ["Added " ++ show n ++ " to " ++ show m])
+  (n + m, log1 ++ log2 ++ ["Added " ++ show n ++ " to " ++ show m])
 
 square :: LoggedInt -> LoggedInt
 square (n, log) =
-  (n^2,
-   log ++ ["Squared " ++ show n])
+  (n^2, log ++ ["Squared " ++ show n])
 ```
 
 What to do? Well, if we squint, we can see that we have another context (the
@@ -157,7 +153,7 @@ computation. Since we want to be able to concatenate (possibly empty) logs, `l`
 must be a member of the `Monoid` type class.
 
 Let's take the old versions of our functions, that take normal integers and
-return integers with logs, only now they'll be inside the `LogWriter` monad. The
+return integers with logs, and rewrite them so return values inside the `LogWriter` monad. The
 `LogWriter` contains the list of strings (logs) and an integer (result).
 
 ```haskell