diff --git a/include/revng/ADT/STLExtras.h b/include/revng/ADT/STLExtras.h
index 233bbca25..4f716ff3b 100644
--- a/include/revng/ADT/STLExtras.h
+++ b/include/revng/ADT/STLExtras.h
@@ -4,10 +4,13 @@
 // This file is distributed under the MIT License. See LICENSE.md for details.
 //
 
+#include <array>
 #include <type_traits>
 
 #include "llvm/ADT/STLExtras.h"
 
+#include "revng/Support/Concepts.h"
+
 //
 // is_integral
 //
@@ -37,15 +40,54 @@ static_assert(is_specialization_v<std::pair<int, long>, std::pair>);
 // HasTupleSize
 //
 
-template<typename T>
+template<class T>
 concept HasTupleSize = requires {
-  std::tuple_size<T>::value;
+  typename std::tuple_size<T>::type;
+  { std::tuple_size_v<T> } -> convertible_to<size_t>;
 };
 
 static_assert(HasTupleSize<std::tuple<>>);
 static_assert(!HasTupleSize<std::vector<int>>);
 static_assert(!HasTupleSize<int>);
 
+//
+// IsTupleLike
+//
+
+namespace detail {
+
+template<class T, std::size_t N>
+concept HasTupleElement = requires(T Value) {
+  typename std::tuple_element_t<N, std::remove_const_t<T>>;
+  { get<N>(Value) } -> convertible_to<std::tuple_element_t<N, T> &>;
+};
+
+template<typename T, size_t... N>
+constexpr auto checkTupleElementTypes(std::index_sequence<N...>) {
+  return (HasTupleElement<T, N> && ...);
+}
+
+template<HasTupleSize T>
+constexpr auto checkAllTupleElementTypes() {
+  auto Sequence = std::make_index_sequence<std::tuple_size_v<T>>();
+  return checkTupleElementTypes<T>(Sequence);
+}
+
+} // namespace detail
+
+// clang-format off
+template<class T>
+concept IsTupleLike = (not std::is_reference_v<T>
+                       and HasTupleSize<T>
+                       and detail::checkAllTupleElementTypes<T>());
+// clang-format on
+
+static_assert(IsTupleLike<std::tuple<>>);
+static_assert(IsTupleLike<std::tuple<int, int, long>>);
+static_assert(IsTupleLike<std::pair<int, int>>);
+static_assert(IsTupleLike<std::array<int, 0>>);
+static_assert(not IsTupleLike<int>);
+
 //===----------------------------------------------------------------------===//
 //     Extra additions to <iterator>
 //===----------------------------------------------------------------------===//
diff --git a/tests/unit/Model.cpp b/tests/unit/Model.cpp
index b448bae2f..2a72e5e2e 100644
--- a/tests/unit/Model.cpp
+++ b/tests/unit/Model.cpp
@@ -180,6 +180,8 @@ public:
 
 INTROSPECTION_NS(TestTupleTree, Root, Elements)
 
+static_assert(IsTupleLike<TestTupleTree::Root>);
+
 BOOST_AUTO_TEST_CASE(TestTupleTreeReference) {
   using namespace TestTupleTree;