diff --git a/src/Data/Abstract/Value/Type.hs b/src/Data/Abstract/Value/Type.hs
index 7341b4178..53589369c 100644
--- a/src/Data/Abstract/Value/Type.hs
+++ b/src/Data/Abstract/Value/Type.hs
@@ -99,9 +99,10 @@ throwTypeError :: ( Member (Resumable (BaseError TypeError)) sig
                   , Member (Reader ModuleInfo) sig
                   , Member (Reader Span) sig
                   , Carrier sig m
+                  , Monad m
                   )
                => TypeError resume
-               -> Evaluator term address Type m resume
+               -> m resume
 throwTypeError = throwBaseError
 
 runTypeMap :: (Carrier sig m, Effect sig)