template<typename T, typename = void>
struct has_value_type
{
   static constexpr bool value = false;
};

template<typename T>
struct has_value_type< T, std::void_t<typename T::value_type> >
{
   static constexpr bool value = true;
};

template<typename T>
constexpr bool has_value_type_v = has_value_type::value;


template<typename T>
struct Foo
{
   template <typename U>
   Foo(U&&) {}
   using type = T;
};

template<typename Container,
        std::enable_if_t< has_value_type_v, int > = 0
>
Foo(Container) -> Foo< typename Container::value_type >;

template<typename Functor,
        std::enable_if_t< !has_value_type_v<std::decay_t>, int > = 0
>
Foo(Functor&&) -> Foo< std::invoke_result_t<Functor&&> >;

void func() {}

int main() {
   std::array a{ 1, 2 };
   Foo f1(a);
   Foo f2(func);
}