diff --git a/include/boost/fusion/functional/invocation/invoke.hpp b/include/boost/fusion/functional/invocation/invoke.hpp
index 61e09b39..4e156d20 100644
--- a/include/boost/fusion/functional/invocation/invoke.hpp
+++ b/include/boost/fusion/functional/invocation/invoke.hpp
@@ -82,10 +82,7 @@ namespace boost { namespace fusion
             int N = result_of::size<Sequence>::value,
             bool CBI = ft::is_callable_builtin<Function>::value,
             bool MFP = ft::is_member_function_pointer<Function>::value, 
-            bool RandomAccess = boost::is_convertible< 
-                    typename traits::category_of<Sequence>::type,
-                    fusion::random_access_traversal_tag 
-                >::value 
+            bool RandomAccess = traits::is_random_access<Sequence>::value
             >
         struct invoke_impl
         {
diff --git a/include/boost/fusion/functional/invocation/invoke_function_object.hpp b/include/boost/fusion/functional/invocation/invoke_function_object.hpp
index 92908b99..b4372b23 100644
--- a/include/boost/fusion/functional/invocation/invoke_function_object.hpp
+++ b/include/boost/fusion/functional/invocation/invoke_function_object.hpp
@@ -19,7 +19,6 @@
 
 #include <boost/blank.hpp>
 
-#include <boost/type_traits/is_convertible.hpp>
 #include <boost/type_traits/remove_reference.hpp>
 
 #include <boost/fusion/support/category_of.hpp>
@@ -53,10 +52,7 @@ namespace boost { namespace fusion
         template< 
             class Function, class Sequence, 
             int N = result_of::size<Sequence>::value,
-            bool RandomAccess = boost::is_convertible< 
-                    typename traits::category_of<Sequence>::type,
-                    fusion::random_access_traversal_tag 
-                >::value 
+            bool RandomAccess = traits::is_random_access<Sequence>::value 
             >
         struct invoke_function_object_impl
         {
diff --git a/include/boost/fusion/functional/invocation/invoke_procedure.hpp b/include/boost/fusion/functional/invocation/invoke_procedure.hpp
index db0b029e..3e68f276 100644
--- a/include/boost/fusion/functional/invocation/invoke_procedure.hpp
+++ b/include/boost/fusion/functional/invocation/invoke_procedure.hpp
@@ -31,7 +31,6 @@
 
 #include <boost/blank.hpp>
 
-#include <boost/type_traits/is_convertible.hpp>
 #include <boost/type_traits/remove_reference.hpp>
 
 #include <boost/function_types/is_callable_builtin.hpp>
@@ -72,10 +71,7 @@ namespace boost { namespace fusion
             int N = result_of::size<Sequence>::value,
             bool CBI = ft::is_callable_builtin<Function>::value,
             bool MFP = ft::is_member_function_pointer<Function>::value,
-            bool RandomAccess = boost::is_convertible< 
-                    typename traits::category_of<Sequence>::type,
-                    fusion::random_access_traversal_tag 
-                >::value 
+            bool RandomAccess = traits::is_random_access<Sequence>::value
             >
         struct invoke_procedure_impl
         {