>>92
型パラメータの数を、コンストラクタを書くのに必要な数よりも多くする事が出来るよってだけの機能だからね
例えば、XMLを扱う時に、同じ意味のデータが色んな種類のノードの属性として設定出来て、だけど明確に区別して扱う必要がある時なんか便利な場合の1つ
<foo name="hage"><bar name="debu">
みたいな感じの時に
newtype Name a = Name Text
data Foo
data Bar
ってして、Name FooとName Barを取り違える事が無いように出来る。
だけど、どっちも中身は一緒だから同じ処理を行うことが出来る。