From d33df9e9e39f2ae5d8a02cbab0add38360623c4f Mon Sep 17 00:00:00 2001
From: fzyzcjy <5236035+fzyzcjy@users.noreply.github.com>
Date: Wed, 19 Jan 2022 22:42:22 +0800
Subject: [PATCH] Update a-fistful-of-monads.md

---
 zh-cn/ch12/a-fistful-of-monads.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zh-cn/ch12/a-fistful-of-monads.md b/zh-cn/ch12/a-fistful-of-monads.md
index 9c8273d..d8af6bc 100644
--- a/zh-cn/ch12/a-fistful-of-monads.md
+++ b/zh-cn/ch12/a-fistful-of-monads.md
@@ -885,7 +885,7 @@ Haskell 允许任何型态是任何 type class 的 instance。但他不会检查
 
 单子律的第一项说当我们接受一个值，将他用 `return` 放进一个缺省的 context 并把他用 `>>=` 喂进一个函数的结果，应该要跟我们直接做函数调用的结果一样。
 
-* `retrun x >>= f` 应该等于 `f x`
+* `return x >>= f` 应该等于 `f x`
 
 如果你是把 monadic value 视为把一个值放进最小的 context 中，仅仅是把同样的值放进结果中的话， 那这个定律应该很直觉。因为把这个值放进 context 中然后丢给函数，应该要跟直接把这个值丢给函数做调用应该没有差别。