diff --git a/src/UVMHS/Core/Data/Option.hs b/src/UVMHS/Core/Data/Option.hs
index cd05cb2a..c816f77a 100644
--- a/src/UVMHS/Core/Data/Option.hs
+++ b/src/UVMHS/Core/Data/Option.hs
@@ -54,6 +54,7 @@ isSome = \case
   None → False
   Some _ → True
 
+-- TODO: fix this to be explicitly delayed in first argument
 ifNone ∷ a → 𝑂 a → a
 ifNone i = \case
   None → i