Fix by reviews

Author: Mizunashi Mana

preprocessed-site/posts/2020/how-to-use-type-newtype-data.md

@@ -59,7 +59,7 @@ type FilePath = String
 
 文字列は文字のリストと見做せる．そこから文字列によるデータ型 `String` は，単に文字のリスト型の型シノニムで定義されている．文字列に対してリストの関数を自由に適用できるのは，このためだ．ファイルのパスによるデータ型 `FilePath` は `String` の型シノニムで定義されている．なので，文字列の関数を自由に適用できる．
 
-Haskell の型シノニムは，これだけに止まらずもっと強力な機能も持っている．例えば，型シノニムは型コンストラクタに対しても作れる:
+Haskell の型シノニムは，これだけに止まらずもっと強力な機能も持っている．例えば，型シノニムは型コンストラクタ，すなわち型を受け取って新たな型を作るコンストラクタに対しても作れる:
 
 ```haskell
 type Option = Maybe
@@ -244,7 +244,7 @@ data Nat
 data Tuple a b = Tuple a b
 ```
 
-は，`(a, b)` と構造が同じであり，`(a, b)` に対する関数 `fst :: (a, b) -> a` を適用できてもいいはずだ．しかし，データ型 `Tuple a b` は自身が `(a, b)` と同じ方法でしか構成できないことを知らない．`Tuple a b` と `(a, b)` において型上で言及できることは，それらが異なる型であると言うことだけだ．なので，`fst` に `Tuple a b` 型の値を渡すことはできない．これは，もし型シノニムを使って，
+は，`(a, b)` と構造が同じであり，`(a, b)` に対する関数 `fst :: (a, b) -> a` を適用できてもいいはずだ．ところが，データ型 `Tuple a b` とその値コンストラクタは型システム上は切り離されているため，自身の値が `(a, b)` の値と同じ方法でしか構成できないことを知らない．`Tuple a b` と `(a, b)` において型上で言及できることは，それらが異なる型であるということだけだ．なので，`fst` に `Tuple a b` 型の値を渡すことはできない．これは，もし型シノニムを使って，
 
 ```haskell
 type Tuple a b = (a, b)
@@ -447,7 +447,7 @@ True
 >>> "aBc" == CaseInsens "Abc"
 ```
 
-としてしまうと，コンパイルエラーになってしまう．なぜなら，`(==)` は2つの引数が同じ型の値である必要があり，`"aBc"` の型である `String` と `CaseInsens "Abc` の型である `CaseInsensString` は全く異なる型であるからだ．つまり，値コンストラクタ `CaseInsens` は，実行時には何の影響も与えないが，型システム上はこの全く異なる型の値になることを判断するためのマーカーとしての役割を持つ．そして，型シノニムではデータ型は単なる別名であったが，`newtype` は `data` と同様全く新たな型として導入する道を選んだため，元の型として受け入れてもらうことが出来なくなってしまったのだ．
+としてしまうと，コンパイルエラーになってしまう．なぜなら，`(==)` は2つの引数が同じ型の値である必要があり，`"aBc"` の型である `String` と `CaseInsens "Abc` の型である `CaseInsensString` は全く異なる型であるからだ．つまり，値コンストラクタ `CaseInsens` は，実行時には何の影響も与えないが，型システム上は全く異なる型の値であることを示すマーカーとなる．そして，型シノニムではデータ型は単なる別名であったが，`newtype` は `data` と同様全く新たな型として導入する道を選んだため，元の型として受け入れてもらうことが出来なくなってしまったのだ．
 
 といっても，これは一長一短である．`data` と同様 `newtype` で作られた型は，型シノニムのように既存の関数を使い回すことができない．その反面，データの意味に沿わないプログラムを型によって弾くことができるという点は長所になる場合もある．例えば，`"aBc" == CaseInsens "Abc"` の例は，一体どのような結果を返すべきか一見して分からない．両者は単なる文字列と，大文字小文字を区別しない文字列という異なるデータを表しており，その比較は定義されないとするのが自然だろう．このような場合に，型シノニムでは定義されないことを表す方法はなかったが，`newtype` は元の型と異なる型を持つので，そのような仕組みを作ることができる．