@@ -649,7 +649,7 @@ simpleToLink _ toA _ = toLink toA (Proxy :: Proxy sub)
649-- Erroring instance for 'HasLink' when a combinator is not fully applied
649-- Erroring instance for 'HasLink' when a combinator is not fully applied
650instance TypeError (PartialApplication HasLink arr) => HasLink ((arr :: a -> b) :> sub)
650instance TypeError (PartialApplication HasLink arr) => HasLink ((arr :: a -> b) :> sub)
652− type MkLink (arr :> sub) _ = TypeError (PartialApplication HasLink arr)
652+ type MkLink (arr :> sub) _ = TypeError (PartialApplication (HasLink :: * -> Constraint) arr)
653 toLink = error "unreachable"
653 toLink = error "unreachable"
655-- Erroring instances for 'HasLink' for unknown API combinators
655-- Erroring instances for 'HasLink' for unknown API combinators