Wie funktioniert das Ableiten von Arbeit in Haskell?

Algebraic Datentype (ADTs) in Haskell können automatisch zu Instanzen einiger @ werde typeclasses (wieShow, Eq) durch ableiten von ihnen data Maybe a = Nothing | Just a deriving (Eq, Ord)Meine Frage ist, wie funktioniert dasderivingie kann ...