diff --git a/.vscode/settings.json b/.vscode/settings.json
index 88398d3..3718352 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -13,6 +13,7 @@
     "HLINT",
     "mempty",
     "Prec",
+    "succ",
     "unrecognised"
   ]
 }