diff --git a/crates/fayalite/src/module.rs b/crates/fayalite/src/module.rs
index e88b37a..f93758a 100644
--- a/crates/fayalite/src/module.rs
+++ b/crates/fayalite/src/module.rs
@@ -2272,7 +2272,8 @@ pub fn annotate<T: Type>(target: Expr<T>, annotations: impl IntoAnnotations) {
             .body
             .annotations_map
             .entry(decl)
-            .or_default();
+            .or_default()
+            .extend(annotations);
     });
 }