TcDerivUtils
data DerivSpec theta
pprDerivSpec
data DerivSpecMechanism
isDerivSpecStock
isDerivSpecNewtype
isDerivSpecAnyClass
type DerivContext
data DerivStatus
data PredOrigin
data ThetaOrigin
mkPredOrigin
mkThetaOrigin
mkThetaOriginFromPreds
substPredOrigin
checkSideConditions
hasStockDeriving
canDeriveAnyClass
std_class_via_coercible
non_coercible_class
newDerivClsInst
extendLocalInstEnv