diff --git a/example/include/ranged_representation.h b/example/include/ranged_representation.h
index b620729e..3d7b2a88 100644
--- a/example/include/ranged_representation.h
+++ b/example/include/ranged_representation.h
@@ -23,6 +23,7 @@
 #pragma once
 
 #include "validated_type.h"
+#include <units/bits/external/hacks.h>
 #include <algorithm>
 #include <type_traits>
 
@@ -30,11 +31,13 @@ template<typename T, auto Min, auto Max>
 inline constexpr auto is_in_range = [](const auto& v) { return std::clamp(v, T{Min}, T{Max}) == v; };
 
 template<typename T, auto Min, auto Max>
-class ranged_representation : public validated_type<T, decltype(is_in_range<T, Min, Max>)> {
+using is_in_range_t = decltype(is_in_range<T, Min, Max>);
+
+template<typename T, auto Min, auto Max>
+class ranged_representation : public validated_type<T, is_in_range_t<T, Min, Max>> {
 public:
-  using base = validated_type<T, decltype(is_in_range<T, Min, Max>)>;
-  using base::validated_type;
-  constexpr ranged_representation() : base(T{}) {}
+  using validated_type<T, is_in_range_t<T, Min, Max>>::validated_type;
+  constexpr ranged_representation() : validated_type<T, is_in_range_t<T, Min, Max>>(T{}) {}
 
   [[nodiscard]] constexpr ranged_representation operator-() const { return ranged_representation(-this->value()); }
 };