Begin to explain pattern-matching in a lambda abstraction

Author: igrep

assets/18.md

@@ -1013,18 +1013,18 @@ ghci> entry = Entry { category = cat, price = pri }
 
 #### ラムダ抽象の引数でのパターンマッチ
 
-引数でのパターンマッチは、ラムダ抽象でも使える。
+前節で説明したとおり、パターンマッチは変数へ代入する箇所であればどこでも利用できます。課題hoge(15?)で紹介したラムダ抽象における引数も、もちろん例外ではありません。
 
-つまり、
+例えば次のように、タプルを受け取る関数`tupleToEntry`があったとしましょう:
 
-```
+```haskell
 tupleToEntry :: (String, Integer) -> Entry
 tupleToEntry (cat, pri) = Entry cat pri
 ```
 
-↑と↓は同じ！
+この`tupleToEntry`関数は、（あまり役に立つ書き換えではないですが）ラムダ抽象を使って次のように書き換えることができます:
 
-```
+```haskell
 tupleToEntry :: (String, Integer) -> Entry
 tupleToEntry = \(cat, pri) -> Entry cat pri
 ```