-- | Describes what sort of dictionary to generate for type class instances
data Evidence
    = -- | An existing named instance
      NamedInstance (Qualified Ident)
    | -- | Computed instances
      WarnInstance
        -- | Warn type class with a user-defined warning message
        SourceType
    | -- | The IsSymbol type class for a given Symbol literal
      IsSymbolInstance PSString
    deriving (Show, Eq)
