diff --git a/src/Control/Abstract/Value.hs b/src/Control/Abstract/Value.hs
index 874deb506..8120eb47c 100644
--- a/src/Control/Abstract/Value.hs
+++ b/src/Control/Abstract/Value.hs
@@ -17,7 +17,7 @@ import Prelude hiding (fail)
 --
 --   This allows us to abstract the choice of whether to evaluate under binders for different value types.
 class (MonadEvaluator t v m) => MonadValue t v m where
-    -- | Construct an abstract unit value.
+  -- | Construct an abstract unit value.
   unit :: m v
 
   -- | Construct an abstract integral value.
diff --git a/src/Control/Monad/Effect/Fresh.hs b/src/Control/Monad/Effect/Fresh.hs
index 6a0a67642..b90e98073 100644
--- a/src/Control/Monad/Effect/Fresh.hs
+++ b/src/Control/Monad/Effect/Fresh.hs
@@ -8,8 +8,10 @@ type TName = Int
 
 -- | An effect offering a (resettable) sequence of always-incrementing, and therefore “fresh,” type variables.
 data Fresh a where
-  Reset :: TName -> Fresh () -- ^ Request a reset of the sequence of variable names.
-  Fresh :: Fresh TName       -- ^ Request a fresh variable name.
+  -- | Request a reset of the sequence of variable names.
+  Reset :: TName -> Fresh ()
+  -- | Request a fresh variable name.
+  Fresh :: Fresh TName
 
 -- | 'Monad's offering a (resettable) sequence of guaranteed-fresh type variables.
 class Monad m => MonadFresh m where