Sergey Torgashov

> I believe we shouldn't give up an existing good solution just because it is not the built-in. Sure, and thank you for all your effort you put into it...

Maybe `liftRedeemErrorK`? It is more verbose, but since it deals with errors only, the name could be more sounding.

> I think the URL should be a URL that typelevel controls Totally 👍 for that. It is quite annoying that even having all the doc sources fetched in a...

@tsobako fyi: in Cats 2.7.0 there was `NonEmptyAlternative` added that became a base trait for `Alternative`: https://github.com/typelevel/cats/blob/d30be68a69e75324fdf1b81d6230a5c161c87fc3/core/src/main/scala/cats/NonEmptyAlternative.scala#L24 UPD. Looking at the diagram I am not sure if it is easy...

Seems like this PR got stuck for some reason. I think it is because the most recent CI failed. Just wondering, is it failing due to issues with the update...

@slavaschmidt , Another quick workaround that allows using ```sql SELECT profile->'address'->'coordinates' ``` is to split the data processing into two steps: query it as `Option[Json]` first, then decode it as...

@jatcwang , the above workaround can be converted into a more generic solution. In order to accomplish that we need a constructor for `Read` instead of `Get` straight out of...

@mzuehlke , thank you. Actually, I recently triggered a new release for scalacheck [v1.18.1](https://github.com/typelevel/scalacheck/releases/tag/v1.18.1) that brings in scala-native v0.5.5 and should reconcile it with munit. But if the issue keeps...

@jatcwang , is this feature supported already? Last time I checked it (quite long ago though), I could only do value types directly, whereas for structures I had to pass...

Hey everyone, just to check the status: is there anything we are going to do with this draft?