Begin to explain >>=

Author: igrep

assets/19.md

@@ -238,35 +238,46 @@ Alright. -- ここはユーザーによる入力
 
 ### `do`記法の正体2: `<-`をなくす `>>=`
 
-今度は`do`の中で単に命令を列挙する処理だけでなく、`do`の中で`<-`を使って変数に代入をする処理を、`do`を使わないで書き換えてみましょう。
+今度は`do`の中で単に命令を列挙するだけでなく、`<-`を使った変数への代入も、`do`を使わないで書き換えてみましょう。
 
-```
+例として、次のように`getLine`取得した文字列を`line`という変数に代入し、そのまま`putStrLn`に渡す命令を書き換えます:
+
+```haskell
 echo = do
   line <- getLine
   putStrLn line
 ```
 
-↓のように置き換えられる！
+このように書かれた`echo`は、次↓のように置き換えることができます:
 
-```
+```haskell
 echo = getLine >>= putStrLn
 ```
 
-1行だけ。またしても`do`がない！  
-`>>=`とは何者？
+`line`という変数右細い矢印`<-`は消え、代わりに`>>=`という演算子で`getLine`と`putStrLn`を繋げるようになりました。もちろん`do`もありません。
 
-```
+さて、`>>=`とは何者なんでしょう？前節の`>>`と同様に`>>=`も演算子なので、いつもの`:t`コマンドで、どのような型かが分かります:
+
+```haskell
 ghci> :t (>>=)
 (>>=) :: Monad m => m a -> (a -> m b) -> m b
 ```
 
-また`Monad`が出てきたので、`TypeApplications`で`IO`に置き換えてみる。
+またしても`Monad`が出てきました。`Monad`の話は後回しにしたいので、`>>`の時と同様に、`TypeApplications`で型変数`m`を`IO`に置き換えておきましょう:
 
-```
+```haskell
 ghci> :t (>>=) @IO
 (>>=) @IO :: IO a -> (a -> IO b) -> IO b
 ```
 
+まだちょっと複雑に見えるでしょうか？先程の`>>`の型（型変数`m`を`IO`に置き換えたバージョン）と並べるとはっきりしてくるはずです:
+
+```haskell
+(>>=) @IO :: IO a -> (a -> IO b) -> IO b
+(>>)  @IO :: IO a ->       IO b  -> IO b
+-- 比較しやすさのために、記号の位置を適当に揃えています
+```
+
 `>>`と違って第二引数が関数`a -> IO b`になっているのがポイント。
 
 2つの引数と戻り値: