Подскажите плиз можно ли на TS сделать такое:

type WithConfirmations = {
    confirmations :string[]
};

type WithClarifications = {
    clarifications :string[]
};


process<TParam>(TParam param)
{
    if (param типа WithConfirmations)
    {
        process(param.confirmations);
    }

    if (param типа WithClarifications)
    {
        process(param.clarifications);
    }
}

Разговор про статические типы, никакого полиморфизма не требуется.

Надо как-то оформить TParam чтобы он:
мог быть WithConfirmations,
мог быть WithClarifications,
мог быть WithConfirmations & WithClarifications,
а мог быть просто any.