@@ -340,8 +340,8 @@ instance (ToText v, HasLink sub)
340340 addSegment (escape . unpack $ toText v) l
341341
342342instance HasLink sub => HasLink (Header sym a :> sub) where
343− type MkLink (Header sym a :> sub) = MkLink sub
344− toLink _ = toLink (Proxy :: Proxy sub)
343+ type MkLink (Header sym a :> sub) = MkLink sub
344+ toLink _ = toLink (Proxy :: Proxy sub)
345345
346346-- Verb (terminal) instances
347347instance HasLink (Get y r) where