Enabled `Concatenate` to concatenate a variadic pack of lists

* analogously to arbitrary list count concatenation in Scheme's `append`
** implemented for `Concatenate` instead as it fits better with the structure between `Append` and `Concatenate`

1 files changed, 10 insertions, 3 deletions

diff --git a/src/list/operation/concatenate.h b/src/list/operation/concatenate.h
index a5cbaa6..cf680c1 100644
--- a/src/list/operation/concatenate.h
+++ b/src/list/operation/concatenate.h
@@ -2,16 +2,23 @@
 #define TYPEASVALUE_SRC_LIST_OPERATION_CONCATENATE_H_
 
 #include "append.h"
-#include "higher/remove.h"
 #include "higher/fold.h"
+#include "conditional/if.h"
 
 namespace tav {
 
-template <typename ListOfLists>
+template <
+	typename    Head,
+	typename... Tail
+>
 using Concatenate = Fold<
 	Append,
 	void,
-	ListOfLists
+	If<
+		Boolean<sizeof...(Tail) == 0>,
+		Head,
+		List<Head, Tail...>
+	>
 >;
 
 }