Simplified `List`, `Length` and `Reverse` implementations

* continuation of 8e49cc6
* list constructor was generalized to a _variadic fold_

1 files changed, 2 insertions, 5 deletions

diff --git a/src/function/detail/apply.h b/src/function/detail/apply.h
index 8d4ef6d..3df80ef 100644
--- a/src/function/detail/apply.h
+++ b/src/function/detail/apply.h
@@ -37,10 +37,7 @@ struct resolve_placeholder<Partials, placeholder<Index>> {
 };
 
 template <typename... Arguments>
-using count_placeholders = Count<
-	is_placeholder,
-	tav::List<Arguments...>
->;
+using count_placeholders = Count<is_placeholder, List<Arguments...>>;
 
 template <
 	template<typename...> class Function,
@@ -58,7 +55,7 @@ struct apply_variadic {
 	template <typename... Partials>
 	using function = Function<
 		Eval<resolve_placeholder<
-			tav::List<Partials...>,
+			List<Partials...>,
 			Arguments
 		>>...
 	>;