分裂と言っているのは↓の事であってます？

type AB = A | B // 素直な分裂 type K<X> = N | M | X type KAB = K<AB> // = N | M | A | B // 構造的な分裂 type O<X> = { o: X } type OAB = O<AB> // = { o: A } | { o: B }