template <class... Args>
class S
{
public:
   void f(const Args&...) {};
};

template <template <typename...> class Signal, typename... FormalArgs, typename... ActualArgs,
   std::enable_if_t<std::is_same_v<Signal<>, S<>>, bool> = false>
void invoke(Signal<FormalArgs...>& signal, ActualArgs&&... args)
{
   signal.f(std::forward<ActualArgs>(args)...);
}

template <class Invokable, class... ActualArgs>
void invoke(Invokable&& i, ActualArgs&&... args)
{
   i(std::forward<ActualArgs>(args)...);
}

int main()
{
   S<> s;
   auto l = [](){};
   invoke(s);
   invoke(l);
   return 0;
}