node_makers.cpp

#define fw(...) ::std::forward<decltype(__VA_ARGS__)>(__VA_ARGS__)

namespace detail 
{
	/* Implementation ... */
  
	template <class F, class T>
	constexpr auto makeO_x(T&& data)
	{
		return O_x<F, decltype(data)>(fw(data));
	}

	/* Implementation ... */
  
	template <class... Ts>
	constexpr auto _foldr(Ts&&... args)
	{
		return (fw(args) + ...);
	}
}

template <class F, class... Ts>
constexpr decltype(auto) foldr(Ts&&... args)
{
	return detail::_foldr(detail::makeO_x<F>(fw(args))...);
}