3
Haskellでの派生はどのように機能しますか？
Haskellの代数的データ型（ADT）は、それらから派生することにより、いくつかのタイプクラス（Show、などEq）のインスタンスになることができます。 data Maybe a = Nothing | Just a deriving (Eq, Ord) 私の質問は、これderivingがどのように機能するか、つまりHaskellが派生ADTの派生型クラスの関数を実装する方法をどのように知るかです。 また、なぜderiving特定の型クラスのみに制限されているのですか？派生可能な独自の型クラスを作成できないのはなぜですか？