-deAnnotate :: AnnCoreExpr bndr bdee ann -> GenCoreExpr bndr bdee
-
-deAnnotate (_, AnnCoVar v) = Var v
-deAnnotate (_, AnnCoLit lit) = Lit lit
-deAnnotate (_, AnnCoCon con tys args) = Con con tys args
-deAnnotate (_, AnnCoPrim op tys args) = Prim op tys args
-deAnnotate (_, AnnCoLam binder body) = Lam binder (deAnnotate body)
-deAnnotate (_, AnnCoTyLam tyvar body) = CoTyLam tyvar (deAnnotate body)
-deAnnotate (_, AnnCoApp fun arg) = App (deAnnotate fun) arg
-deAnnotate (_, AnnCoTyApp fun ty) = CoTyApp (deAnnotate fun) ty
-deAnnotate (_, AnnCoSCC lbl body) = SCC lbl (deAnnotate body)
-
-deAnnotate (_, AnnCoLet bind body)
+deAnnotate :: AnnCoreExpr val_bdr val_occ tyvar uvar ann
+ -> GenCoreExpr val_bdr val_occ tyvar uvar
+
+deAnnotate (_, AnnVar v) = Var v
+deAnnotate (_, AnnLit lit) = Lit lit
+deAnnotate (_, AnnCon con args) = Con con args
+deAnnotate (_, AnnPrim op args) = Prim op args
+deAnnotate (_, AnnLam binder body)= Lam binder (deAnnotate body)
+deAnnotate (_, AnnApp fun arg) = App (deAnnotate fun) arg
+deAnnotate (_, AnnSCC lbl body) = SCC lbl (deAnnotate body)
+
+deAnnotate (_, AnnLet bind body)