Redesigned lazify

Author: polytypic

provides/include/lax_v1/lazify.hpp

@@ -2,10 +2,3 @@
 
 #include "lax_v1/type.hpp"
 #include "lax_v1/value.hpp"
-
-template <template <class... Formals> class Trait, class... Actuals>
-struct lax_v1::lazify_t : type_t<type_of_t<Trait<type_of_t<Actuals>...>>> {};
-
-template <class Type, template <class... Formals> class Trait, class... Actuals>
-struct lax_v1::lazify_v
-    : value_t<Type, value_of_v<Trait<type_of_t<Actuals>...>>> {};

provides/include/lax_v1/synopsis.hpp

@@ -56,10 +56,11 @@ template <class Expr> struct not_m;
 // lazify.hpp ==================================================================
 
 template <template <class... Formals> class Trait, class... Actuals>
-struct lazify_t;
+using lazify_type_trait_t = type_t<type_of_t<Trait<type_of_t<Actuals>...>>>;
 
 template <class Type, template <class... Formals> class Trait, class... Actuals>
-struct lazify_v;
+using lazify_value_trait_t =
+    value_t<Type, value_of_v<Trait<type_of_t<Actuals>...>>>;
 
 // type_traits.hpp =============================================================
 

provides/include/lax_v1/type_traits.hpp

@@ -6,22 +6,25 @@
 #include <type_traits>
 
 template <class TypeExpr>
-struct lax_v1::alignment_of_m : lazify_v<size_t, std::alignment_of, TypeExpr> {
-};
+struct lax_v1::alignment_of_m
+    : lazify_value_trait_t<size_t, std::alignment_of, TypeExpr> {};
 
 template <class TypeExpr>
-struct lax_v1::is_array_m : lazify_v<bool, std::is_array, TypeExpr> {};
+struct lax_v1::is_array_m
+    : lazify_value_trait_t<bool, std::is_array, TypeExpr> {};
 
 template <class TypeExpr>
-struct lax_v1::is_pointer_m : lazify_v<bool, std::is_pointer, TypeExpr> {};
+struct lax_v1::is_pointer_m
+    : lazify_value_trait_t<bool, std::is_pointer, TypeExpr> {};
 
 template <class LhsTypeExpr, class RhsTypeExpr>
 struct lax_v1::is_same_m
-    : lazify_v<bool, std::is_same, LhsTypeExpr, RhsTypeExpr> {};
+    : lazify_value_trait_t<bool, std::is_same, LhsTypeExpr, RhsTypeExpr> {};
 
 template <class TypeExpr>
 struct lax_v1::remove_all_extents_m
-    : lazify_t<std::remove_all_extents, TypeExpr> {};
+    : lazify_type_trait_t<std::remove_all_extents, TypeExpr> {};
 
 template <class TypeExpr>
-struct lax_v1::remove_pointer_m : lazify_t<std::remove_pointer, TypeExpr> {};
+struct lax_v1::remove_pointer_m
+    : lazify_type_trait_t<std::remove_pointer, TypeExpr> {};