I have:
data Reference = Ref [String] String
data ReferenceError = RefError
{ expectedType :: String -- type of element we were
looking for (e.g. type,package)
, pointOfError :: Reference-- path to deepest parent
element not found in path
}
type
Brian Smith wrote:
[...]
instance MonadError (Either ReferenceError)
Kind error: `Either ReferenceError' is not applied to enough type
arguments
When checking kinds in `MonadError (Either ReferenceError)'
In the instance declaration for `MonadError (Either ReferenceError)'
MonadError takes