@@ -339,6 +339,10 @@ instance (ToText v, HasLink sub)
339 toLink (Proxy :: Proxy sub) $
339 toLink (Proxy :: Proxy sub) $
340 addSegment (escape . unpack $ toText v) l
340 addSegment (escape . unpack $ toText v) l
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)
342-- Verb (terminal) instances
346-- Verb (terminal) instances
343instance HasLink (Get y r) where
347instance HasLink (Get y r) where
344 type MkLink (Get y r) = URI
348 type MkLink (Get y r) = URI