typeTest.ts

type Delegate<T> = (param: T) => any

type DelegateA = Delegate<{ A: string }>
type DelegateB = Delegate<{ B: number }>
type DelegateC = Delegate<{ C: object }>

type ExtractArgument<T> = T extends (option: infer U) => void ? U : never

type IntersectionOptions = ExtractArgument<DelegateA>
& ExtractArgument<DelegateB>
& ExtractArgument<DelegateC>

type UnionOptions = ExtractArgument<DelegateA>
| ExtractArgument<DelegateB>
| ExtractArgument<DelegateC>

type IntersectionFactoryType = (options: IntersectionOptions) => void

type UnionFactoryType = (options: UnionOptions) => void

const intersectionFactory: IntersectionFactoryType = (options) => {
  console.log('i')
}

const unionFactory: UnionFactoryType = (options) => {
  console.log('u')
}

unionFactory({ A: 'bla' })

intersectionFactory({ A: 'bla' })