call(a, function (b: () => t1 | t2) {}); call(a, (b: () => t1 | t2) => {});