2 files changed, 43 insertions, 3 deletions
diff --git a/src/list/detail/find_variadic.h b/src/list/detail/find_variadic.h
new file mode 100644
index 0000000..824f385
--- /dev/null
+++ b/src/list/detail/find_variadic.h
@@ -0,0 +1,40 @@
+#ifndef TYPEASVALUE_SRC_LIST_DETAIL_FIND_VARIADIC_H_
+#define TYPEASVALUE_SRC_LIST_DETAIL_FIND_VARIADIC_H_
+
+#include "type.h"
+#include "conditional/if.h"
+
+namespace tav {
+
+namespace detail {
+
+template <
+	template<typename> class Predicate,
+	typename                 Head,
+	typename...              Tail
+>
+struct find_variadic {
+	typedef If<
+		Eval<Predicate<Head>>,
+		Head,
+		Eval<find_variadic<Predicate, Tail...>>
+	> type;
+};
+
+template <
+	template<typename> class Predicate,
+	typename                 Last
+>
+struct find_variadic<Predicate, Last> {
+	typedef If<
+		Eval<Predicate<Last>>,
+		Last,
+		void
+	> type;
+};
+
+}
+
+}
+
+#endif  // TYPEASVALUE_SRC_LIST_DETAIL_FIND_VARIADIC_H_
diff --git a/src/list/detail/fold_variadic.h b/src/list/detail/fold_variadic.h
index e02b604..2b4fdd8 100644
--- a/src/list/detail/fold_variadic.h
+++ b/src/list/detail/fold_variadic.h
@@ -21,10 +21,10 @@ struct fold_variadic {
 
 template <
 	template <typename, typename> class Function,
-	typename                            Head
+	typename                            Last
 >
-struct fold_variadic<Function, Head> {
-	typedef Function<Head, void> type;
+struct fold_variadic<Function, Last> {
+	typedef Function<Last, void> type;
 };
 
 }