diff --git a/src/Data/Abstract/BaseError.hs b/src/Data/Abstract/BaseError.hs
index b10af848a..62b65ed58 100644
--- a/src/Data/Abstract/BaseError.hs
+++ b/src/Data/Abstract/BaseError.hs
@@ -39,9 +39,10 @@ throwBaseError :: ( Member (Resumable (BaseError exc)) sig
                   , Member (Reader M.ModuleInfo) sig
                   , Member (Reader S.Span) sig
                   , Carrier sig m
+                  , Monad m
                   )
                 => exc resume
-                -> Evaluator term address value m resume
+                -> m resume
 throwBaseError err = do
   moduleInfo <- currentModule
   span <- currentSpan