From 54b660c495a4bddff48ecc801b223cdaf1d1b425 Mon Sep 17 00:00:00 2001 From: Beshoy Kamel <91009118+bwkam@users.noreply.github.com> Date: Fri, 20 Sep 2024 19:00:07 +0300 Subject: [PATCH] wee -> we (#67) ^ Signed-off-by: Beshoy Kamel <91009118+bwkam@users.noreply.github.com> Co-authored-by: Stanislav (Stanley) Modrak <44023416+smith558@users.noreply.github.com> --- markdown/source_md/functors-applicative-functors-and-monoids.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/markdown/source_md/functors-applicative-functors-and-monoids.md b/markdown/source_md/functors-applicative-functors-and-monoids.md index 2d7dcfe..d93c175 100644 --- a/markdown/source_md/functors-applicative-functors-and-monoids.md +++ b/markdown/source_md/functors-applicative-functors-and-monoids.md @@ -303,7 +303,7 @@ instance Functor Maybe where ``` We imagine that `id` plays the role of the `f` parameter in the implementation. -We see that if wee `fmap id` over `Just x`, the result will be `Just (id x)`, and because `id` just returns its parameter, we can deduce that `Just (id x)` equals `Just x`. +We see that if we `fmap id` over `Just x`, the result will be `Just (id x)`, and because `id` just returns its parameter, we can deduce that `Just (id x)` equals `Just x`. So now we know that if we map `id` over a `Maybe` value with a `Just` value constructor, we get that same value back. Seeing that mapping `id` over a `Nothing` value returns the same value is trivial.