Force results to reduce inheritance chains

Author: polytypic

provides/include/lax_v1/logical.hpp

@@ -7,18 +7,21 @@
 template <class Else> struct lax_v1::if_m<Else> : force_t<Else> {};
 template <class Cond, class Then, class... Elses>
 struct lax_v1::if_m<Cond, Then, Elses...>
-    : if_m<force_t<Cond>, Then, Elses...> {};
+    : force_t<if_m<force_t<Cond>, Then, Elses...>> {};
 template <class Then, class... Elses>
-struct lax_v1::if_m<lax_v1::true_t, Then, Elses...> : Then {};
+struct lax_v1::if_m<lax_v1::true_t, Then, Elses...> : force_t<Then> {};
 template <class Then, class... Elses>
-struct lax_v1::if_m<lax_v1::false_t, Then, Elses...> : if_m<Elses...> {};
+struct lax_v1::if_m<lax_v1::false_t, Then, Elses...> : force_t<if_m<Elses...>> {
+};
 
 template <> struct lax_v1::and_m<> : true_t {};
 template <class Expr, class... Exprs>
-struct lax_v1::and_m<Expr, Exprs...> : if_m<Expr, and_m<Exprs...>, false_t> {};
+struct lax_v1::and_m<Expr, Exprs...>
+    : force_t<if_m<Expr, and_m<Exprs...>, false_t>> {};
 
 template <class Expr> struct lax_v1::not_m : auto_t<!value_of_v<Expr>> {};
 
 template <> struct lax_v1::or_m<> : false_t {};
 template <class Expr, class... Exprs>
-struct lax_v1::or_m<Expr, Exprs...> : if_m<Expr, true_t, or_m<Exprs...>> {};
+struct lax_v1::or_m<Expr, Exprs...>
+    : force_t<if_m<Expr, true_t, or_m<Exprs...>>> {};