Introduce GHC's language extensions

Author: igrep

assets/19.md

@@ -104,37 +104,36 @@ instance Monad IO -- Defined in ‘GHC.Base’
 
 ##### GHCの言語拡張`TypeApplications`で、分かりやすく見てみる
 
-`Monad`のことを一旦忘れるために、便利なGHCの言語拡張を有効にする。
+`>>`は`Monad`型クラスのインスタンス全般に対して使える関数で、`IO`型も`Monad`型クラスのインスタンスなので`>>`が使えることはここまででお伝えしたとおりです。とは言ったものの、`>>`のことをよりよく理解する上で、`Monad m => m a -> m b -> m b`という型は少々抽象的で分かりづらく感じられるかも知れません。そこで、`TypeApplications`というGHCの言語拡張を使うことで、`IO`専用の`>>`を作ってみましょう。`Monad`のことを意識しなくて良い分、より分かりやすくなるはずです。
 
 ###### そもそも言語拡張とは？
 
-現行のHaskellの仕様[Haskell 2010][1]に書かれている仕様でサポートされていない、実験的な機能。  
-通常、下記のような特別な形式のコメントを`.hs`ファイルの先頭に書くことで、そのファイルの中のみで指定した言語拡張（下記の例は`TypeApplications`）を有効にすることができます。
+「GHCの言語拡張」とは何でしょうか？GHCが提供する、現行のHaskellの仕様[Haskell 2010][1]ではサポートされていない、実験的な機能です。通常、下記のような特別な形式のコメントを、`.hs`ファイルにおける一番最初の箇所に書くことで、そのファイルの中でのみ指定した言語拡張（下記の例は`TypeApplications`）を有効にして使います:
 
 [1]: https://www.haskell.org/onlinereport/haskell2010/
 
-```
+```haskell
 {-# LANGUAGE TypeApplications #-}
 ```
 
-あるいは、GHCiで言語拡張を有効にしたい場合、↓のように書くと、`TypeApplications`を有効にすることができる。
+あるいは、GHCiで言語拡張を有効にしたい場合、↓のように書くことで`TypeApplications`を有効にできます。
 
-```
+```haskell
 ghci> :set -XTypeApplications
 ```
 
-`-XTypeApplications`とあるとおり、`-X`と`TypeApplications`の間にスペースがない点に注意  
-スペースを書くとエラーになる。
+`-XTypeApplications`とあるとおり、`-X`と`TypeApplications`の間にスペースがない点にご注意ください。スペースを書くとエラーになってしまいます:
 
-```
+```haskell
 ghci> :set -X TypeApplications
 Some flags have not been recognized: -X, TypeApplications
 ```
 
-GHCiを起動している間に言語拡張を無効にしたくなったら、下記のように書く。
+GHCiを起動している間に言語拡張を**無効**にしたくなった場合、下記のように書きます:
 
-```
+```haskell
 ghci> :set -XNoTypeApplications
+-- もちろん例は TypeApplications ですが、他の言語拡張も同様です
 ```
 
 ###### `TypeApplications`を使う