diff --git a/crates/ailang-check/src/lib.rs b/crates/ailang-check/src/lib.rs
index 9a95b81..b724984 100644
--- a/crates/ailang-check/src/lib.rs
+++ b/crates/ailang-check/src/lib.rs
@@ -3460,34 +3460,20 @@ mod tests {
     /// Helper for the cross-module tests: build a workspace whose entry
     /// imports `lib` and exposes its types via qualified names.
     fn cross_module_ws(consumer: Module) -> Workspace {
-        // `lib` declares `data Box a = MkBox(a)` and `data Bag a = Pack(a)`.
-        // The second type lets us exercise ambiguous-ctor in dedicated tests.
         let lib = Module {
             schema: SCHEMA.into(),
             name: "lib".into(),
             imports: vec![],
-            defs: vec![
-                Def::Type(TypeDef {
-                    name: "Box".into(),
-                    vars: vec!["a".into()],
-                    ctors: vec![Ctor {
-                        name: "MkBox".into(),
-                        fields: vec![Type::Var { name: "a".into() }],
-                    }],
-                    doc: None,
-                    drop_iterative: false,
-                }),
-                Def::Type(TypeDef {
-                    name: "Bag".into(),
-                    vars: vec!["a".into()],
-                    ctors: vec![Ctor {
-                        name: "Pack".into(),
-                        fields: vec![Type::Var { name: "a".into() }],
-                    }],
-                    doc: None,
-                    drop_iterative: false,
-                }),
-            ],
+            defs: vec![Def::Type(TypeDef {
+                name: "Box".into(),
+                vars: vec!["a".into()],
+                ctors: vec![Ctor {
+                    name: "MkBox".into(),
+                    fields: vec![Type::Var { name: "a".into() }],
+                }],
+                doc: None,
+                drop_iterative: false,
+            })],
         };
         let mut modules = BTreeMap::new();
         modules.insert("lib".into(), lib);