diff --git a/core/common/src/main/scala/org/typelevel/otel4s/context/Context.scala b/core/common/src/main/scala/org/typelevel/otel4s/context/Context.scala
index 929aeb41b..348411f59 100644
--- a/core/common/src/main/scala/org/typelevel/otel4s/context/Context.scala
+++ b/core/common/src/main/scala/org/typelevel/otel4s/context/Context.scala
@@ -64,7 +64,7 @@ object Context {
   /** A type alias for a [[`Context`]] explicitly parameterized by its
     * [[Context.Key `Key`]] type.
     */
-  type Keyed[C, K[_]] = Context[C] { type Key[A] = K[A] }
+  type Keyed[C, K[X] <: Key[X]] = Context[C] { type Key[A] = K[A] }
 
   /** Summons a [[`Context`]] that is available implicitly. */
   def apply[C](implicit c: Context[C]): Context[C] = c