diff --git a/libs/pando/engine/src/node/optimization.ts b/libs/pando/engine/src/node/optimization.ts
index cee708ef82..67961b8179 100644
--- a/libs/pando/engine/src/node/optimization.ts
+++ b/libs/pando/engine/src/node/optimization.ts
@@ -66,7 +66,7 @@ export function detach(
   }
   function fold(
     x: NumTagFree[],
-    op: keyof typeof arithmetic,
+    op: Exclude<keyof typeof arithmetic, 'unique'>,
     ex: any
   ): NumTagFree {
     if (x.every((x) => x.op === 'const'))
diff --git a/libs/sr/formula/src/formulaText.ts b/libs/sr/formula/src/formulaText.ts
index ec723af896..8f1c133204 100644
--- a/libs/sr/formula/src/formulaText.ts
+++ b/libs/sr/formula/src/formulaText.ts
@@ -1,5 +1,4 @@
 import type { CalcResult } from '@genshin-optimizer/pando/engine'
-import type { Tag } from './data/util'
 import type { PartialMeta } from './calculator'
 
 type Output = PartialMeta