Option #1
#include <cstddef>
#include <type_traits>
#include <utility>
#include <tuple>
template <typename A, typename B>
struct merge_tuples
{
    static_assert(std::tuple_size<A>::value == std::tuple_size<B>::value, "!");
    template <std::size_t... Is>
    static auto merge(std::index_sequence<Is...>) noexcept
        -> std::tuple<typename std::decay<decltype(std::declval<typename std::tuple_element<Is, A>::type>()
                                                 + std::declval<typename std::tuple_element<Is, B>::type>())
                               >::type...>;
    using type = decltype(merge(std::make_index_sequence<std::tuple_size<A>::value>{}));    
};
Option #2
#include <type_traits>
#include <utility>
template <typename A, typename B>
struct merge_tuples;
template <template <typename...> class Tuple, typename... Ts, typename... Us>
struct merge_tuples<Tuple<Ts...>, Tuple<Us...>>
{
    static_assert(sizeof...(Ts) == sizeof...(Us), "!");
    using type = Tuple<typename std::decay<decltype(std::declval<Ts>()
                                                  + std::declval<Us>())
                                >::type...>;
};
4
solved Transform std::pair to std::tuple with any number of elements