@@ -339,6 +339,10 @@ instance (ToText v, HasLink sub)
339339 toLink (Proxy :: Proxy sub) $
340340 addSegment (escape . unpack $ toText v) l
341341
342+instance HasLink sub => HasLink (Header sym a :> sub) where
343+ type MkLink (Header sym a :> sub) = MkLink sub
344+ toLink _ = toLink (Proxy :: Proxy sub)
345+
342346-- Verb (terminal) instances
343347instance HasLink (Get y r) where
344348 type MkLink (Get y r) = URI