Introduced `Eval` function evaluation helper

* replaces `typename *::type` constructs with `Eval` applications
* aims to further unify function evaluation

1 files changed, 2 insertions, 2 deletions

diff --git a/src/list/cons.h b/src/list/cons.h
index 7f54eb5..8efca67 100644
--- a/src/list/cons.h
+++ b/src/list/cons.h
@@ -16,7 +16,7 @@ struct Cons {
 template <typename Pair>
 struct Car {
 	static_assert(
-		IsPair<Pair>::type::value,
+		Eval<IsPair<Pair>>::value,
 		"Pair type required"
 	);
 
@@ -26,7 +26,7 @@ struct Car {
 template <typename Pair>
 struct Cdr {
 	static_assert(
-		IsPair<Pair>::type::value,
+		Eval<IsPair<Pair>>::value,
 		"Pair type required"
 	);