diff --git a/source/mijin/util/traits.hpp b/source/mijin/util/traits.hpp
index aaa3141..634c218 100644
--- a/source/mijin/util/traits.hpp
+++ b/source/mijin/util/traits.hpp
@@ -128,13 +128,13 @@ using delay_type_t = TActual;
 template<std::size_t I, typename TArg, typename... TArgs>
 struct TypeAtHelper
 {
-    using type_t = std::conditional_t<I == 0, TArg, TypeAtHelper<I-1, TArgs...>>;
+    using type_t = typename TypeAtHelper<I-1, TArgs...>::type_t;
 };
 
-template<std::size_t I, typename TArg>
-struct TypeAtHelper<I, TArg>
+template<typename TArg, typename... TArgs>
+struct TypeAtHelper<0, TArg, TArgs...>
 {
-    using type_t = std::enable_if_t<I == 0, TArg>;
+    using type_t = TArg;
 };
 template<std::size_t I, typename... TArgs>
 using type_at_t = TypeAtHelper<I, TArgs...>::type_t;