@@ -341,6 +341,10 @@ instance (ToText v, HasLink sub)
341341 toLink (Proxy :: Proxy sub) $
342342 addSegment (escape . unpack $ toText v) l
343343
344+instance HasLink sub => HasLink (Header sym a :> sub) where
345+ type MkLink (Header sym a :> sub) = MkLink sub
346+ toLink _ = toLink (Proxy :: Proxy sub)
347+
344348-- Verb (terminal) instances
345349instance HasLink (Get y r) where
346350 type MkLink (Get y r) = URI