force_t might be needed in other type alias definitions

Author: polytypic

provides/include/lax_v1/synopsis.hpp

@@ -2,6 +2,10 @@
 
 namespace lax_v1 {
 
+// force.hpp ===================================================================
+
+template <class Expr> using force_t = typename Expr::eval;
+
 // type.hpp ====================================================================
 
 template <class T> struct type_t;
@@ -49,10 +53,6 @@ template <class... Exprs> struct or_m;
 
 template <class Expr> struct not_m;
 
-// force.hpp ===================================================================
-
-template <class Expr> using force_t = typename Expr::eval;
-
 // lazify.hpp ==================================================================
 
 template <template <class... Formals> class Trait, class... Actuals>