Complete the brief introduction of Monad

assets/19.md

@@ -1,7 +1,6 @@
 # `do`における変数への代入を抑える 1
 
-課題4のアプリケーションを、`<-`もカッコも使わずに書き換えましょう。  
-今回も&純粋にリファクタリングをしてください。特に振る舞いを変える必要はありません。
+課題4のアプリケーションを、`<-`もカッコも使わずに書き換えましょう。今回も&純粋にリファクタリングをしてください。特に振る舞いを変える必要はありません。
 
 ## 必要な知識
 
@@ -87,22 +86,21 @@ instance Monad ((->) r) -- Defined in ‘GHC.Base’
 instance Monoid a => Monad ((,) a) -- Defined in ‘GHC.Base’
 ```
 
-なんかたくさんある！
+何だかたくさん出力されましたね！ここで注目して欲しいのは、最後の方に書かれている、
 
-特に注目して欲しいのは、
-
-```
+```haskell
 instance Monad IO -- Defined in ‘GHC.Base’
 ```
 
-と書かれていること。  
-つまり、これまで何度も使ってきた`IO`は`Monad`型クラスのインスタンス（そして、ほかにも`Monad`のインスタンスはたくさんある）
+という行です。これは、`IO`型が`Monad`型クラスのインスタンスであることを示しています。これまで何度も使ってきた`IO`型、本入門の言葉で言うところの「命令」は`Monad`の一つなのです。
+
+そして、前述のGHCiの`:i Monad`の結果から察せられるとおり、`Monad`型クラスのインスタンスは他にもたくさんあることも、頭の片隅に置いておいて下さい。他のインスタンスについては次の次の課題hoge(21?)で触れますので、乞うご期待。
 
-ここまでのポイントは以下の通り
+ここまでのポイントは以下の通りです:
 
-- `Monad`は型クラス。
-- `>>`は、`Monad`型クラスのインスタンス全般に対して使える多相関数（演算子）
-- 今まで使ってきた、`putStrLn`や`getLine`が返す`IO`も`Monad`のインスタンス。
+- `Monad`は型クラス
+- `>>`は、`Monad`型クラスのインスタンス全般に対して使える関数（演算子）
+- 今まで使ってきた、`putStrLn`や`getLine`が返す`IO`（命令）も`Monad`のインスタンス
 
 ##### GHCの言語拡張`TypeApplications`で、分かりやすく見てみる