GeneralizedNewtypeDeriving
GNDと略される
英国綴りのGeneralisedNewtypeDerivingも同様
GeneralizedとGeneralisedの違い
これ対応する必要ある??
なんか揉めたんかな？mrsekut.icon
片方がv6.8.1で入って、片方がv8.6.1から入った
newtypeで作った型に対して、型クラスインスタンス導出を簡略化する
便利だが、導出が壊れるケースもあるらしい ref
Haskellのnewtypeで作成された型に対して、元の型のinstanceを導出できる
newtype GiftCount = GiftCount Intのような型を作った時に、
本来ならこのGiftCountに対しても型クラスのinstanceを個別に定義しないといけないが、Intのものを流用できる
https://kowainik.github.io/posts/deriving#newtypes
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/newtype_deriving.html
https://stackoverflow.com/questions/17137111/why-isnt-generalizednewtypederiving-a-safe-haskello
https://haskell.jp/blog/posts/2017/13-about-kind-system-part2.html#もう一つの型の分類
https://qiita.com/hiratara/items/888bdae1455fd7c4a5f0