diff --git a/include/utempl/meta_info.hpp b/include/utempl/meta_info.hpp
index 3117beb..612eb77 100644
--- a/include/utempl/meta_info.hpp
+++ b/include/utempl/meta_info.hpp
@@ -21,7 +21,6 @@ struct MetaInfo {
   using Type = T;
 private: 
   static constexpr auto _ = loopholes::Injector<MetaInfoKey<kTypeId, Tag>{}, TypeList<T>{}>{};
-
 };
 
 template <typename T, typename Tag = impl::Types>
@@ -33,4 +32,37 @@ using GetMetaInfo = MetaInfo<typename decltype(Magic(loopholes::Getter<MetaInfoK
 template <std::size_t Id, typename Tag = impl::Types>
 using GetType = GetMetaInfo<Id, Tag>::Type;
 
+namespace impl {
+
+template <typename Tag, std::size_t I = 0, typename... Ts, typename G>
+static consteval auto GetTypeListForTag(G g) requires (I == 0 || 
+    requires {Magic(loopholes::Getter<MetaInfoKey<I, Tag>{}>{});}) {
+  if constexpr(I == 0 && !requires {Magic(loopholes::Getter<MetaInfoKey<I, Tag>{}>{});}) {
+    return TypeList{};
+  } else {
+    if constexpr(requires{GetTypeListForTag<Tag, I + 1, Ts...>(g);}) {
+      constexpr auto type = Magic(loopholes::Getter<MetaInfoKey<I, Tag>{}>{});
+      return GetTypeListForTag<Tag, I + 1, Ts..., typename decltype(type)::Type>(g);
+    } else {
+      constexpr auto type = Magic(loopholes::Getter<MetaInfoKey<I, Tag>{}>{});
+      return TypeList<Ts..., typename decltype(type)::Type>();
+    };
+  };
+};
+
+
+} // namespace impl
+
+template <typename Tag = impl::Types, typename... Ts>
+consteval auto GetTypeListForTag() {
+  return impl::GetTypeListForTag<Tag>(TypeList<Ts...>{});
+};
+
+/*
+static_assert(kTypeId<int> == 0);
+static_assert(kTypeId<void> == 1);
+static_assert(std::is_same_v<decltype(GetTypeListForTag()), TypeList<int, void>>);
+*/
+
+
 } // namespace utempl