@@ -342,8 +342,8 @@ instance (ToText v, HasLink sub)
342 addSegment (escape . unpack $ toText v) l
342 addSegment (escape . unpack $ toText v) l
344instance HasLink sub => HasLink (Header sym a :> sub) where
344instance HasLink sub => HasLink (Header sym a :> sub) where
345− type MkLink (Header sym a :> sub) = MkLink sub
345+ type MkLink (Header sym a :> sub) = MkLink sub
346− toLink _ = toLink (Proxy :: Proxy sub)
346+ toLink _ = toLink (Proxy :: Proxy sub)
348-- Verb (terminal) instances
348-- Verb (terminal) instances
349instance HasLink (Get y r) where
349instance HasLink (Get y r) where