Language.Haskell.TH.Context
type InstMap
data DecStatus a
reifyInstancesWithContext
tellInstance
tellUndeclared