diff --git a/src/Juvix/Compiler/Nockma/Language.hs b/src/Juvix/Compiler/Nockma/Language.hs
index a51d115c1..4df90129d 100644
--- a/src/Juvix/Compiler/Nockma/Language.hs
+++ b/src/Juvix/Compiler/Nockma/Language.hs
@@ -569,7 +569,7 @@ unfoldList = ensureNockmList . nonEmpty . unfoldTuple
       Nothing -> err
       Just l -> case l ^. _unsnoc1 of
         (ini, lst)
-          | lst == nockNilTagged "unfoldList" -> ini
+          | nockmaEq lst (nockNilTagged "unfoldList") -> ini
           | otherwise -> err
       where
         err :: x