const isNull = (v:any) : v is null => v === null;
const isString = (v:any) : v is string => typeof v === 'string';
const or = <T extends Function,K extends Function>(fn1:T, fn2:K) => (first: any): first is ReturnType<T> | first is ReturnType<K> => (fn1(first) || fn2(first))
Реализация
const conditon = or(isNull, isString);
condition(v)
Как из first is ReturnType<T> | first is ReturnType<K>
получить не тип которые возвращают ф-ции а тип который задан v is null
чтобы при передачи значения в описании ф-ции было first is string | null