diff --git a/src/Data/Abstract/Eval.hs b/src/Data/Abstract/Eval.hs
index c0d5ca30c..bfaf8526f 100644
--- a/src/Data/Abstract/Eval.hs
+++ b/src/Data/Abstract/Eval.hs
@@ -21,10 +21,10 @@ import Prelude hiding (fail)
 -- | The 'Eval' class defines the necessary interface for a term to be evaluated. While a default definition of 'eval' is given, instances with computational content must implement 'eval' to perform their small-step operational semantics.
 class Monad m => Eval term v m constr where
   -- | Evaluate a term using an open-recursive evaluator for any child terms.
-  eval :: ((v -> m v) -> term -> m v)
-       -> (v -> m v)
-       -> constr term
-       -> m v
+  eval :: ((v -> m v) -> term -> m v) -- ^ An open-recursive evaluator for child terms.
+       -> (v -> m v)                  -- ^ A continuation representing the remainder of the current (imperative) scope. This allows each statement in an imperative sequence to affect the environment of later statements in the same scope, but without allowing such effects to escape their scope. For example, @do { x <- getX ; f x }@ binds @x@ in the local environment in the first statement s.t. the second can use it, but remains unbound outside of the @do@-block.
+       -> constr term                 -- ^ The current instruction in a program.
+       -> m v                         -- ^ A monadic computation producing the (abstract) evaluation of the current instruction.
 
   default eval :: (MonadFail m, Show1 constr) => ((v -> m v) -> term -> m v) -> ((v -> m v) -> constr term -> m v)
   eval _ _ expr = fail $ "Eval unspecialized for " ++ liftShowsPrec (const (const id)) (const id) 0 expr ""