GNDと略される

英国綴りのGeneralisedNewtypeDerivingも同様

GeneralizedとGeneralisedの違い

これ対応する必要ある??

なんか揉めたんかな？

片方がv6.8.1で入って、片方がv8.6.1から入った

newtype で作った型に対して、型クラスインスタンス導出を簡略化する

便利だが、導出が壊れるケースもあるらしい ref

Haskellのnewtypeで作成された型に対して、元の型のinstanceを導出できる

newtype GiftCount = GiftCount Int のような型を作った時に、

本来ならこの GiftCount に対しても型クラスのinstanceを個別に定義しないといけないが、 Int のものを流用できる