diff --git a/AK/StdLibExtraDetails.h b/AK/StdLibExtraDetails.h
index e7c3d7405d..54cc7849a8 100644
--- a/AK/StdLibExtraDetails.h
+++ b/AK/StdLibExtraDetails.h
@@ -454,6 +454,13 @@ struct IntegerSequence {
 template<unsigned... Indices>
 using IndexSequence = IntegerSequence<unsigned, Indices...>;
 
+#if __has_builtin(__make_integer_seq)
+template<typename T, T N>
+using MakeIntegerSequence = __make_integer_seq<IntegerSequence, T, N>;
+#elif __has_builtin(__integer_pack)
+template<typename T, T N>
+using MakeIntegerSequence = IntegerSequence<T, __integer_pack(N)...>;
+#else
 template<typename T, T N, T... Ts>
 auto make_integer_sequence_impl()
 {
@@ -465,6 +472,7 @@ auto make_integer_sequence_impl()
 
 template<typename T, T N>
 using MakeIntegerSequence = decltype(make_integer_sequence_impl<T, N>());
+#endif
 
 template<unsigned N>
 using MakeIndexSequence = MakeIntegerSequence<unsigned, N>;
diff --git a/AK/TypeList.h b/AK/TypeList.h
index 2c28da3445..e2f3d13e8f 100644
--- a/AK/TypeList.h
+++ b/AK/TypeList.h
@@ -16,6 +16,12 @@ struct TypeList;
 template<unsigned Index, typename List>
 struct TypeListElement;
 
+#if __has_builtin(__type_pack_element)
+template<unsigned Index, typename... Types>
+struct TypeListElement<Index, TypeList<Types...>> {
+    using Type = __type_pack_element<Index, Types...>;
+};
+#else
 template<unsigned Index, typename Head, typename... Tail>
 struct TypeListElement<Index, TypeList<Head, Tail...>>
     : TypeListElement<Index - 1, TypeList<Tail...>> {
@@ -25,6 +31,7 @@ template<typename Head, typename... Tail>
 struct TypeListElement<0, TypeList<Head, Tail...>> {
     using Type = Head;
 };
+#endif
 
 template<typename... Types>
 struct TypeList {