diff --git a/src/protocol/ast.rs b/src/protocol/ast.rs
index 71ea38e2e1768e374b9d1fb2b5726386ca1482ab..1fb57928f4d4c536feecb74413f991c0b204f675 100644
--- a/src/protocol/ast.rs
+++ b/src/protocol/ast.rs
@@ -637,6 +637,8 @@ pub struct FieldSymbolic {
     // Phase 1: Parser
     pub(crate) identifier: Identifier,
     // Phase 3: Typing
+    // TODO: @Monomorph These fields cannot be trusted because the last time it
+    //  was typed it may refer to a different monomorph.
     pub(crate) definition: Option<DefinitionId>,
     pub(crate) field_idx: usize,
 }