fix: Don't ICE on unapplied, aliased constructors

tests/vm.rs

@@ -1092,3 +1092,26 @@ True
 ",
 true
 }
+
+test_expr! {
+recursive_eff_arr,
+r#"
+rec
+type Eff (r : Type -> Type) a =
+    | Pure a
+    | Impure : forall x . Arr r x a -> Eff r a 
+
+type Arr r a b = a -> Eff r b
+in
+
+type Writer a = forall r . (.. r)
+
+let any x = any x
+
+let tell : Eff [| writer : Writer | r |] () =
+    Impure Pure
+
+()
+"#,
+()
+}

vm/src/compiler.rs

@@ -926,7 +926,7 @@ impl<'a> Compiler<'a> {
                             }
                         }
                     }
-                    _ => ice!("ICE: Unexpected data type: {}", typ),
+                    _ => ice!("ICE: Unexpected data type for {}: {}", id.name, typ),
                 }
             }
         }

vm/src/core/mod.rs

@@ -848,6 +848,7 @@ impl<'a, 'e> Translator<'a, 'e> {
         // has no effect and `typ` itself will be used
         let data_type;
         {
+            let typ = remove_aliases_cow(&self.env, &mut NullInterner, typ.remove_forall());
             let mut args = arg_iter(typ.remove_forall());
             unapplied_args = args
                 .by_ref()