template <typename SFINAE, typename F, typename ...Args>
struct my_invocable_impl : std::false_type {};

template <typename F, typename ...Args>
struct my_invocable_impl<void, F, Args...>
: std::enable_if_t<
std::is_same_v<
void,
…