diff --git a/include/boost/mp11/list.hpp b/include/boost/mp11/list.hpp
index 47feacd..3646764 100644
--- a/include/boost/mp11/list.hpp
+++ b/include/boost/mp11/list.hpp
@@ -12,9 +12,10 @@
 #include <boost/mp11/detail/mp_list.hpp>
 #include <boost/mp11/detail/mp_list_v.hpp>
 #include <boost/mp11/detail/mp_is_list.hpp>
-#include <boost/mp11/detail/mp_append.hpp>
+#include <boost/mp11/detail/mp_is_value_list.hpp>
 #include <boost/mp11/detail/mp_front.hpp>
 #include <boost/mp11/detail/mp_rename.hpp>
+#include <boost/mp11/detail/mp_append.hpp>
 #include <boost/mp11/detail/config.hpp>
 #include <type_traits>
 
@@ -35,6 +36,9 @@ template<class T, T... I> using mp_list_c = mp_list<std::integral_constant<T, I>
 // mp_is_list<L>
 //   in detail/mp_is_list.hpp
 
+// mp_is_value_list<L>
+//   in detail/mp_is_value_list.hpp
+
 // mp_size<L>
 namespace detail
 {
diff --git a/test/Jamfile b/test/Jamfile
index aae6f13..f0db244 100644
--- a/test/Jamfile
+++ b/test/Jamfile
@@ -69,6 +69,7 @@ run mp_transform_third.cpp ;
 run mp_transform_third_2.cpp ;
 run mp_list_v.cpp ;
 run mp_rename_v.cpp ;
+run mp_is_value_list.cpp ;
 
 # algorithm
 run mp_transform.cpp ;
diff --git a/test/mp_is_list.cpp b/test/mp_is_list.cpp
index 62e602e..5649c47 100644
--- a/test/mp_is_list.cpp
+++ b/test/mp_is_list.cpp
@@ -13,6 +13,8 @@
 #include <tuple>
 #include <utility>
 
+template<int... I> struct V2 {};
+
 int main()
 {
     using boost::mp11::mp_list;
@@ -46,5 +48,27 @@ int main()
         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_is_list<std::pair<void, void>>, mp_true>));
     }
 
+#if defined(BOOST_MP11_HAS_TEMPLATE_AUTO)
+
+    using boost::mp11::mp_list_v;
+
+    {
+        BOOST_TEST_TRAIT_SAME(mp_is_list<mp_list_v<>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_list<mp_list_v<false>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_list<mp_list_v<false, 0>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_list<mp_list_v<false, 0, true>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_list<mp_list_v<false, 0, true, 1>>, mp_false);
+    }
+
+    {
+        BOOST_TEST_TRAIT_SAME(mp_is_list<V2<>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_list<V2<0>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_list<V2<0, 1>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_list<V2<0, 1, 2>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_list<V2<0, 1, 2, 3>>, mp_false);
+    }
+
+#endif
+
     return boost::report_errors();
 }
diff --git a/test/mp_is_value_list.cpp b/test/mp_is_value_list.cpp
new file mode 100644
index 0000000..e70dc47
--- /dev/null
+++ b/test/mp_is_value_list.cpp
@@ -0,0 +1,58 @@
+// Copyright 2023 Peter Dimov
+// Distributed under the Boost Software License, Version 1.0.
+// https://www.boost.org/LICENSE_1_0.txt
+
+#include <boost/mp11/list.hpp>
+#include <boost/mp11/integral.hpp>
+#include <boost/core/lightweight_test_trait.hpp>
+#include <utility>
+
+template<int... I> struct V2 {};
+
+int main()
+{
+    using boost::mp11::mp_list;
+    using boost::mp11::mp_is_value_list;
+    using boost::mp11::mp_true;
+    using boost::mp11::mp_false;
+
+    {
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<void>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<int>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<char[]>, mp_false);
+
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<std::pair<void, void>>, mp_false);
+    }
+
+    {
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list<>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list<void>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list<void, void>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list<void, void, void>>, mp_false);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list<void, void, void, void>>, mp_false);
+    }
+
+#if defined(BOOST_MP11_HAS_TEMPLATE_AUTO)
+
+    using boost::mp11::mp_list_v;
+
+    {
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list_v<>>, mp_true);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list_v<false>>, mp_true);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list_v<false, 0>>, mp_true);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list_v<false, 0, true>>, mp_true);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<mp_list_v<false, 0, true, 1>>, mp_true);
+    }
+
+    {
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<V2<>>, mp_true);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<V2<0>>, mp_true);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<V2<0, 1>>, mp_true);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<V2<0, 1, 2>>, mp_true);
+        BOOST_TEST_TRAIT_SAME(mp_is_value_list<V2<0, 1, 2, 3>>, mp_true);
+    }
+
+#endif
+
+    return boost::report_errors();
+}