diff --git a/main/Main.hs b/main/Main.hs
index 600cf33..392ef04 100644
--- a/main/Main.hs
+++ b/main/Main.hs
@@ -86,7 +86,7 @@ main = do
                              . toEncodingSorted
                              <=< fromNix
                     | normalize opts =
-                      liftIO . print . prettyNixValue <=< normalForm
+                      liftIO . print . prettyNValueNF <=< normalForm
                     | values opts  =
                       liftIO . print <=< renderNValueProv
                     | otherwise  =
diff --git a/src/Nix/Exec.hs b/src/Nix/Exec.hs
index 423c826..d73bc63 100644
--- a/src/Nix/Exec.hs
+++ b/src/Nix/Exec.hs
@@ -515,7 +515,7 @@ instance (MonadFix m, MonadCatch m, MonadThrow m, MonadIO m,
         nn <- maybe (pure False) fromNix (M.lookup "__ignoreNulls" s)
         s' <- M.fromList <$> mapMaybeM (handleEntry nn) (M.toList s)
         v' <- normalForm =<< toValue @(ValueSet (Lazy m)) s'
-        nixInstantiateExpr $ "derivationStrict " ++ show (prettyNixValue v')
+        nixInstantiateExpr $ "derivationStrict " ++ show (prettyNValueNF v')
       where
         mapMaybeM :: (a -> Lazy m (Maybe b)) -> [a] -> Lazy m [b]
         mapMaybeM op = foldr f (return [])
diff --git a/src/Nix/Pretty.hs b/src/Nix/Pretty.hs
index 0dc89db..d108184 100644
--- a/src/Nix/Pretty.hs
+++ b/src/Nix/Pretty.hs
@@ -218,8 +218,8 @@ exprFNixDoc = \case
   where
     recPrefix = text "rec" <> space
 
-prettyNixValue :: Functor m => NValueNF m -> Doc
-prettyNixValue = prettyNix . valueToExpr
+prettyNValueNF :: Functor m => NValueNF m -> Doc
+prettyNValueNF = prettyNix . valueToExpr
   where valueToExpr :: Functor m => NValueNF m -> NExpr
         valueToExpr = transport go
 
@@ -255,24 +255,24 @@ removeEffects = Fix . fmap dethunk
 removeEffectsM :: MonadVar m => NValueF m (NThunk m) -> m (NValueNF m)
 removeEffectsM = fmap Fix . traverse dethunk
 
-renderNValueF :: MonadVar m => NValueF m (NThunk m) -> m Doc
-renderNValueF = fmap prettyNixValue . removeEffectsM
+prettyNValueF :: MonadVar m => NValueF m (NThunk m) -> m Doc
+prettyNValueF = fmap prettyNValueNF . removeEffectsM
 
-renderNValue :: MonadVar m => NValue m -> m Doc
-renderNValue (NValue _ v) = renderNValueF v
+prettyNValue :: MonadVar m => NValue m -> m Doc
+prettyNValue (NValue _ v) = prettyNValueF v
 
-renderNValueProv :: MonadVar m => NValue m -> m Doc
-renderNValueProv = \case
-    NValue [] v -> renderNValueF v
+prettyNValueProv :: MonadVar m => NValue m -> m Doc
+prettyNValueProv = \case
+    NValue [] v -> prettyNValueF v
     NValue ps v -> do
-        v' <- renderNValueF v
+        v' <- prettyNValueF v
         pure $ v' </> indent 2 (parens (mconcat
             (text "from: " : map (prettyOriginExpr . originExpr) ps)))
 
-renderNThunk :: MonadVar m => NThunk m -> m Doc
-renderNThunk = \case
+prettyNThunk :: MonadVar m => NThunk m -> m Doc
+prettyNThunk = \case
     t@(NThunk ps _) -> do
-        v' <- fmap prettyNixValue (dethunk t)
+        v' <- fmap prettyNValueNF (dethunk t)
         pure $ v' </> indent 2 (parens (mconcat
             (text "thunk from: " : map (prettyOriginExpr . originExpr) ps)))
 
diff --git a/src/Nix/Render/Frame.hs b/src/Nix/Render/Frame.hs
index f1bd92c..5d58ead 100644
--- a/src/Nix/Render/Frame.hs
+++ b/src/Nix/Render/Frame.hs
@@ -141,7 +141,7 @@ renderExecFrame _level f = do
         Assertion ann v
             | values opts ->
                   renderLocation ann =<<
-                      ((text "Assertion failed:" </>) <$> renderNValueProv v)
+                      ((text "Assertion failed:" </>) <$> prettyNValueProv v)
             | otherwise ->
                   renderLocation ann (text "Assertion failed")