Explain the both operands and return type of >>=

Author: igrep

assets/19.md

@@ -238,7 +238,7 @@ Alright. -- ここはユーザーによる入力
 
 ### `do`記法の正体2: `<-`をなくす `>>=`
 
-今度は`do`の中で単に命令を列挙するだけでなく、`<-`を使った変数への代入も、`do`を使わないで書き換えてみましょう。
+今度は`do`の中における単純な命令の列挙だけでなく、`<-`を使った変数への代入も、`do`を使わないで書き換えてみましょう。
 
 例として、次のように`getLine`取得した文字列を`line`という変数に代入し、そのまま`putStrLn`に渡す命令を書き換えます:
 
@@ -254,7 +254,7 @@ echo = do
 echo = getLine >>= putStrLn
 ```
 
-`line`という変数右細い矢印`<-`は消え、代わりに`>>=`という演算子で`getLine`と`putStrLn`を繋げるようになりました。もちろん`do`もありません。
+`line`という変数と右細い矢印`<-`は消え、代わりに`>>=`という演算子で`getLine`と`putStrLn`を繋げるようになりました。もちろん`do`もありません。
 
 さて、`>>=`とは何者なんでしょう？前節の`>>`と同様に`>>=`も演算子なので、いつもの`:t`コマンドで、どのような型かが分かります:
 
@@ -263,7 +263,7 @@ ghci> :t (>>=)
 (>>=) :: Monad m => m a -> (a -> m b) -> m b
 ```
 
-またしても`Monad`が出てきました。`Monad`の話は後回しにしたいので、`>>`の時と同様に、`TypeApplications`で型変数`m`を`IO`に置き換えておきましょう:
+またしても`Monad`が出てきました。`Monad`の話は後回しにしたいので、`>>`の時と同様に`TypeApplications`で型変数`m`を`IO`に置き換えておきましょう:
 
 ```haskell
 ghci> :t (>>=) @IO
@@ -278,17 +278,17 @@ ghci> :t (>>=) @IO
 -- 比較しやすさのために、記号の位置を適当に揃えています
 ```
 
-`>>`と違って第二引数が関数`a -> IO b`になっているのがポイント。
+`>>`と異なり、第二引数（右辺）の型が関数`a -> IO b`になっている点がポイントです。2つの引数と戻り値の型はそれぞれ次の通りです:
 
-2つの引数と戻り値:
+- 第1引数（左辺）の`IO a`: 第二引数の関数`a -> IO b`の、**引数**と同じ型`a`の値を返す`IO`（命令）。
+- 第2引数（右辺）の`a -> IO b`: 何か（`IO`でない、普通の）値`a`を受け取って、命令`IO b`を返す。
+- 戻り値の`IO b`: 第二引数の関数`a -> IO b`の、**結果**と同じ型`b`の値を返す`IO`（命令）。
 
-- `IO a`: 第二引数の関数`a -> IO b`の、**引数**と同じ型`a`の値を返す`IO`（命令）。
-- `a -> IO b`: 何か（`IO`でない、普通の）値`a`を受け取って、命令`IO b`を返す。
-- `IO b`: 第二引数の関数`a -> IO b`の、**結果**と同じ型`b`の値を返す`IO`（命令）。
+まとめると`>>=`は、「左辺の命令の実行結果を受け取って、右辺の『命令を返す関数』につなげて、続けて実行する命令」を返す演算子と言えます。
 
-「左辺の命令の実行結果を受け取って、右辺の『命令を返す関数』につなげて、続けて実行する命令」を返す演算子
+先程の例、`echo`関数における`>>=`の左辺・右辺・戻り値の型がそれぞれどう当てはめられているか見てみましょう。`echo`関数は次のように`getLine`と`putStrLn`関数を`>>=`に渡していました:
 
-```
+```haskell
 echo = getLine >>= putStrLn
 ```