import { IfDef , Intersect } from './typelevel' ; export const neverIntersect = < A extends { } , B extends { } , NeverIntersect extends IfDef < Intersect < A , B > , never , { } > = IfDef < Intersect < A , B > , never , { } > > ( a , b ) : A & B & NeverIntersect => ( { ... a , ... b } ) ;