import { type TExtends } from "https://deno.land/x/openbox@1.1.5/deps.ts";
definition: (Static<L> extends Static<R> ? T : U) extends infer O ? UnionToTuple<O> extends [infer X, infer Y] ? TUnion<[AssertType<X>, AssertType<Y>]> : AssertType<O> : never