Ableiten einer Art und ihre Abhängigkeiten

Question

Ich habe mit newtype Wrapper gespielt für meine Indizes zu vermeiden Fehler, und ich habe einige Code wie folgt aus:

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

newtype PersonIdx = PersonIdx Int
  deriving (Enum, Eq, Integral, Num, Ord, Real, Show)

herzuleiten Integral, muss man alle seine Abhängigkeiten ableiten und (daher die obige Liste von Typ-Klassen).

Gibt es eine Möglichkeit, es zu machen, leitet alle Abhängigkeiten von Integral zusammen mit ihm? Ich könnte mir vorstellen, so etwas wie:

newtype PersonIdx = PersonIdx Int
  deriving (Integral(..))

Answer 1

Nein, es gibt keine Abkürzung. Sie werden von allen abhängigen typeclasses ausdrücklich abzuleiten, sondern können diese leicht durch Eingabe :i Integral in GHCI finden.