@@ -614,7 +614,7 @@ simpleToLink _ toA _ = toLink toA (Proxy :: Proxy sub)
614-- Erroring instance for 'HasLink' when a combinator is not fully applied
614-- Erroring instance for 'HasLink' when a combinator is not fully applied
615instance TypeError (PartialApplication HasLink arr) => HasLink ((arr :: a -> b) :> sub)
615instance TypeError (PartialApplication HasLink arr) => HasLink ((arr :: a -> b) :> sub)
617− type MkLink (arr :> _) _ = TypeError (PartialApplication HasLink arr)
617+ type MkLink (arr :> sub) _ = TypeError (PartialApplication HasLink arr)
618 toLink = error "unreachable"
618 toLink = error "unreachable"
620-- Erroring instances for 'HasLink' for unknown API combinators
620-- Erroring instances for 'HasLink' for unknown API combinators