From 2514b669c9e71bd84fb2feaff4d0fd6fe759a593 Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Fri, 28 Sep 2018 14:25:12 -0700
Subject: [PATCH] Type List concept fixed

---
 src/include/units/bits/type_list.h | 25 +++++++++++--------------
 1 file changed, 11 insertions(+), 14 deletions(-)

diff --git a/src/include/units/bits/type_list.h b/src/include/units/bits/type_list.h
index ba2257de..5a83e4df 100644
--- a/src/include/units/bits/type_list.h
+++ b/src/include/units/bits/type_list.h
@@ -27,21 +27,18 @@
 
 namespace mp {
 
-//  namespace detail {
-//
-//    template<typename T>
-//    struct is_type_list : std::false_type {};
-//
-//    template<template<typename...> typename T, typename... Types>
-//    struct is_type_list<T<Types...>> : std::true_type {};
-//
-//  }
+  namespace detail {
 
-//  template<template<typename...> typename T, typename... Types>
-//  concept bool TypeList = requires(T<Types...>) {
-//    std::is_empty_v<T<Types...>>;
-//  };
-#define TypeList typename
+    template<typename T>
+    struct is_type_list : std::false_type {};
+
+    template<template<typename...> typename T, typename... Types>
+    struct is_type_list<T<Types...>> : std::true_type {};
+
+  }
+
+  template<typename T>
+  concept bool TypeList = detail::is_type_list<T>::value;
 
   // push_front