Language.Haskell.TH.Context

type InstMap

class ContextM m

data DecStatus a

reifyInstancesWithContext

tellInstance

tellUndeclared

noInstance