Cryptol.Eval.Error
evalPanic
data EvalError
invalidIndex
typeCannotBeDemoted
divideByZero
wordTooWide
cryUserError