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