assimilateBeliefSystem & beliefSystemMerge -- 简化类型参数

src/belief-system/assimilateBeliefSystem.ts

@@ -5,11 +5,11 @@ import type { BeliefSystem } from "./BeliefSystem.js"
 // one, into the given belief system with no deduction of
 // consequences.
 
-export function assimilateBeliefSystem<A, B>(
+export function assimilateBeliefSystem<A>(
   base: BeliefSystem<A>,
-  target: BeliefSystem<B>,
-): BeliefSystem<A | B> {
-  return target.beliefs.reduce<BeliefSystem<A | B>>(
+  target: BeliefSystem<A>,
+): BeliefSystem<A> {
+  return target.beliefs.reduce<BeliefSystem<A>>(
     (result, belief) => assimilateBelief(result, belief),
     base,
   )

src/belief-system/beliefSystemMerge.ts

@@ -10,11 +10,12 @@ import { BeliefSystem } from "./BeliefSystem.js"
 // current one, and then deduce only those consequences that are
 // relevant to the current worldview.
 
-export function beliefSystemMerge<A, B>(
+export function beliefSystemMerge<A>(
   content: BeliefSystem<A>,
-  increment: BeliefSystem<B>,
-): BeliefSystem<A | B> | Contradiction {
+  increment: BeliefSystem<A>,
+): BeliefSystem<A> | Contradiction {
   const candidate = assimilateBeliefSystem(content, increment)
   const consequence = beliefMergeManyStillBelieved(candidate.beliefs)
+  // checkConsistent(consequence)
   return assimilateBelief(candidate, consequence)
 }