Escriba trait para comprobar que todos los tipos de un paquete de parámetros son construibles mediante copia

Necesito un rasgo de tipo para comprobar si todos los tipos de un paquete de parámetros son construibles por copia. Esto es lo que he hecho hasta ahora. La función principal contiene algunos casos de prueba, para comprobar la funcionalidad.

#include <type_traits>
#include <string>
#include <memory> 

template <class... Args0toN>
struct areCopyConstructible;

template<>
struct areCopyConstructible<> : std::true_type {};

template <class Arg0, class... Args1toN, class std::enable_if< !std::is_copy_constructible<Arg0>::value>::type* = nullptr >
struct areCopyConstructible : std::false_type {};

template <class Arg0, class... Args1toN, class std::enable_if< std::is_copy_constructible<Arg0>::value>::type* = nullptr >
struct areCopyConstructible : areCopyConstructible<Args1toN...> {};

int main()
{
  static_assert(areCopyConstructible<>::value, "failed");
  static_assert(areCopyConstructible<int>::value, "failed");
  static_assert(areCopyConstructible<int, std::string>::value, "failed");
  static_assert(!areCopyConstructible<std::unique_ptr<int> >::value, "failed");
  static_assert(!areCopyConstructible<int, std::unique_ptr<int> >::value, "failed");
  static_assert(!areCopyConstructible<std::unique_ptr<int>, int >::value, "failed");
}

Enlace al Ejemplo en vivo

Mi idea era comprobar recursivamente, si el elemento head del pack es copy-constructible o no y seguir adelante, con la cola. Desafortunadamente, no entiendo esta idea para compilar. Mi conocimiento sobre plantillas variádicas no es muy avanzado. Supongo, que habilitar - si después de paquete de parámetros en la lista de plantillas no funciona. No tengo idea. ¿Alguien tiene un buen consejo, ¿cómo resolver el problema?