Introduced `Eval` function evaluation helper

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

1 files changed, 5 insertions, 2 deletions

diff --git a/src/type.h b/src/type.h
index 15ba2f8..508e22f 100644
--- a/src/type.h
+++ b/src/type.h
@@ -17,14 +17,17 @@ using Boolean = std::integral_constant<bool, Value>;
 template <char Value>
 using Char = std::integral_constant<char, Value>;
 
+template <typename Function>
+using Eval = typename Function::type;
+
 template <
 	typename X,
 	typename Y
 >
-using IsEqualType = typename std::is_same<
+using IsEqualType = Eval<std::is_same<
 	typename X::value_type,
 	typename Y::value_type
->::type;
+>>;
 
 template <
 	typename X,