Vladislav Zavialov

Oh, I see, you're dealing with a different problem now. Sorry, the comment above talks about poly-kinded `Demote` (what @goldfirere suggested).

@RyanGlScott Your handwritten `Sing` instance for `Foo` looks correct to me. My first instinct would be to add `a ~ Demote a` to the instance context of `SingKind` to satisfy...

One could think that it would be fine to remove the application of `Demote` to the parameter of `Quux` altogether: ``` {-# OPTIONS -ddump-splices #-} {-# LANGUAGE TypeInType, ScopedTypeVariables, TypeFamilies,...

We will fix Trac #12564 sooner or later. Perhaps we should keep `Sing` a data family until we do?

`megaparsec` is much better than `parsec` in both performance and expressive power. Good change.

> int-index requested review from nfrisby, jasagredo, amesgen, fraser-iohk, dnadales and geo2a as code owners For what it's worth, this review request was generated automatically by GitHub due to a...

> Is it expected that a newer version will be released from master? Many things seem to have changed since the latest release. Yes. We wanted to include a few...

Superseded by #304

Not knowing about this PR, I ended up with a similar fix in https://github.com/serokell/xrefcheck/commit/74ed94155c56aa9dc6fd09953e27131d740ce63a. So I think all relevant changes are now in `master`. Feel free to reopen if I...