diff --git a/compiler/load/src/file.rs b/compiler/load/src/file.rs
index 165179a66a..994deb913c 100644
--- a/compiler/load/src/file.rs
+++ b/compiler/load/src/file.rs
@@ -2120,11 +2120,11 @@ fn load_pkg_config<'a>(
 
                     let effects_module_msg = fabricate_effects_module(
                         arena,
-                        header.effects.type_shortname, //shorthand,
+                        header.effects.effect_shortname,
                         module_ids,
                         ident_ids_by_module,
                         mode,
-                        &header.effects,
+                        header,
                         effect_module_timing,
                     )
                     .map(|x| x.1)?;
@@ -2373,7 +2373,7 @@ fn parse_header<'a>(
             module_ids,
             ident_ids_by_module,
             mode,
-            &header.effects,
+            header,
             module_timing,
         ),
         Err((fail, _)) => Err(LoadingProblem::ParsingFailed { filename, fail }),
@@ -3020,18 +3020,18 @@ fn fabricate_effects_module<'a>(
     module_ids: Arc<Mutex<PackageModuleIds<'a>>>,
     ident_ids_by_module: Arc<Mutex<MutMap<ModuleId, IdentIds>>>,
     mode: Mode,
-    // header: PlatformHeader<'a>,
-    effects: &roc_parse::header::Effects<'a>,
+    header: PlatformHeader<'a>,
     module_timing: ModuleTiming,
 ) -> Result<(ModuleId, Msg<'a>), LoadingProblem> {
-    // let num_exposes = header.provides.len() + 1;
-    let num_exposes = 0;
+    let num_exposes = header.provides.len() + 1;
     let mut exposed: Vec<Symbol> = Vec::with_capacity(num_exposes);
 
+    let effects = header.effects;
+
     let module_id: ModuleId;
 
     let effect_entries = unpack_exposes_entries(arena, &effects.entries);
-    let name = effects.type_name;
+    let name = effects.effect_type_name;
     let declared_name: ModuleName = name.into();
 
     let hardcoded_effect_symbols = {
@@ -3044,7 +3044,6 @@ fn fabricate_effects_module<'a>(
         functions
     };
 
-    /*
     {
         let mut module_ids = (*module_ids).lock();
 
@@ -3054,7 +3053,6 @@ fn fabricate_effects_module<'a>(
             }
         }
     }
-    */
 
     let exposed_ident_ids = {
         // Lock just long enough to perform the minimal operations necessary.
@@ -3255,7 +3253,7 @@ fn fabricate_effects_module<'a>(
     Ok((
         module_id,
         Msg::MadeEffectModule {
-            type_shortname: effects.type_shortname,
+            type_shortname: effects.effect_shortname,
             constrained_module,
             canonicalization_problems: module_output.problems,
             module_docs,
diff --git a/compiler/parse/src/header.rs b/compiler/parse/src/header.rs
index 15d15f87ae..d833b37c12 100644
--- a/compiler/parse/src/header.rs
+++ b/compiler/parse/src/header.rs
@@ -149,8 +149,8 @@ pub struct Effects<'a> {
     pub spaces_before_effects_keyword: &'a [CommentOrNewline<'a>],
     pub spaces_after_effects_keyword: &'a [CommentOrNewline<'a>],
     pub spaces_after_type_name: &'a [CommentOrNewline<'a>],
-    pub type_shortname: &'a str,
-    pub type_name: &'a str,
+    pub effect_shortname: &'a str,
+    pub effect_type_name: &'a str,
     pub entries: &'a [Loc<TypedIdent<'a>>],
 }
 
diff --git a/compiler/parse/src/module.rs b/compiler/parse/src/module.rs
index 82c32e38d6..a303de8848 100644
--- a/compiler/parse/src/module.rs
+++ b/compiler/parse/src/module.rs
@@ -511,8 +511,8 @@ fn effects<'a>() -> impl Parser<'a, Effects<'a>> {
                 spaces_before_effects_keyword,
                 spaces_after_effects_keyword,
                 spaces_after_type_name,
-                type_shortname,
-                type_name,
+                effect_shortname: type_shortname,
+                effect_type_name: type_name,
                 entries: entries.into_bump_slice(),
             },
             state,
diff --git a/compiler/parse/tests/test_parse.rs b/compiler/parse/tests/test_parse.rs
index ca8dbe555f..fa0c839125 100644
--- a/compiler/parse/tests/test_parse.rs
+++ b/compiler/parse/tests/test_parse.rs
@@ -2514,8 +2514,9 @@ mod test_parse {
         };
         let arena = Bump::new();
         let effects = Effects {
-            type_name: "Blah",
-            entries: Vec::new_in(&arena),
+            effect_type_name: "Blah",
+            effect_shortname: "fx",
+            entries: &[],
             spaces_before_effects_keyword: &[],
             spaces_after_effects_keyword: &[],
             spaces_after_type_name: &[],
@@ -2541,7 +2542,7 @@ mod test_parse {
             after_provides: &[],
         };
 
-        let src = "platform rtfeldman/blah requires {} exposes [] packages {} imports [] provides [] effects Blah {}";
+        let src = "platform rtfeldman/blah requires {} exposes [] packages {} imports [] provides [] effects fx.Blah {}";
         let actual = platform_header()
             .parse(&arena, State::new(src.as_bytes(), Attempting::Module))
             .map(|tuple| tuple.0);
@@ -2571,8 +2572,9 @@ mod test_parse {
         let provide_entry = Located::new(5, 5, 15, 26, Exposed("mainForHost"));
         let provides = bumpalo::vec![in &arena; provide_entry];
         let effects = Effects {
-            type_name: "Effect",
-            entries: Vec::new_in(&arena),
+            effect_type_name: "Effect",
+            effect_shortname: "fx",
+            entries: &[],
             spaces_before_effects_keyword: newlines,
             spaces_after_effects_keyword: &[],
             spaces_after_type_name: &[],
@@ -2606,7 +2608,7 @@ mod test_parse {
                     packages { foo: "./foo" }
                     imports []
                     provides [ mainForHost ]
-                    effects Effect {}
+                    effects fx.Effect {}
             "#
         );
         let actual = platform_header()