22d5790e73
Close #1513. GHC 9.2 needs explicit kind signature here, I don't really understand why. This kind signature is correct and not too restritive, because `HasLink` is technically defined `class HasLink endpoint` which means that it is infered as `k -> Constraint`. In the instance signature, we have `HasLink ((arr :: a -> b) :> sub)`, so here the `k` is the same kind as the one of `:>` which is not polykinded. |
||
|---|---|---|
| .. | ||
| API | ||
| Test | ||
| Types | ||
| API.hs | ||
| Links.hs | ||