Merge pull request #56 from bach741974/patch-14

Update 16.txt

pandoc/16.txt

@@ -316,12 +316,12 @@ instance Num Nat where
 про структурную рекурсию. Теперь мы не передаём отдельно
 две функции, на которые мы будем заменять конструкторы.
 Эти функции закодированы в типе с параметром.
-Для того чтобы этот код заработал нам придётся добавить
-ещё одно расширение `TypeSynonymInstances` наши
+Для того, чтобы этот код заработал, нам придётся добавить
+ещё два расширения `TypeSynonymInstances` `FlexibleInstances` - наши
 рекурсивные типы являются синонимами, а не новыми типами.
 В рамках стандарта Haskell мы можем определять экземпляры
-только для новых типов, для того чтобы обойти это ограничение
-мы добавим ещё одно расширение. 
+только для новых типов и для того, чтобы обойти это ограничение,
+мы добавляем ещё два расширения. 
 
 ~~~
 *Fix> succ $ 1+2
@@ -332,7 +332,7 @@ instance Num Nat where
 True
 ~~~
 
-Определим функции на списках. Для начала определим
+Определим функции на списках. Для начала зададим
 две вспомогательные функции, которые извлекают голову и хвост списка:
 
 ~~~
@@ -362,7 +362,7 @@ takeL = curry $ unfold $ \(n, xs) ->
 ~~~
 
 Сравните эти функции с теми, что мы определяли в главе 
-о структурной рекурсии. Проверим работают ли эти функции:
+о структурной рекурсии. Проверим, работают ли эти функции:
 
 ~~~
 *Fix> :r
@@ -375,7 +375,7 @@ Ok, modules loaded: Fix.
 (Cons 11 (Cons 12 (Cons 13 (Cons 11 (Cons 12 (Cons 13 (Nil)))))))
 ~~~
 
-Обратите внимание, на то что с большими буквами мы пишем
+Обратите внимание на то, что с большими буквами мы пишем
 `Cons` и `Nil`, когда хотим закодировать функции 
 для свёртки-развёртки, а с маленькой буквы пишем значения
 рекурсивного типа. Надеюсь, что вы разобрались на примерах