漓江丽火

I find two more problem. ```scala given [T](using Encoder[T]): Encoder.AsObject[Foo[T]] = Encoder.AsObject.derived given [T](using Decoder[T]): Decoder[Foo[T]] = Decoder.derived ``` will compile success. And ```scala val f = Foo(42) // first...

And it seems that when a lib can use `derives AObject`, it can also use ```scala given Encoder.AsObject[R1] = AObject.derived ``` It is not the privilege of circe.

Hi @mbore , I provide some suggestion and some sampels about wire in gitter. Thank you for your attention to this proposal.

~~In scala 2, in fact it's a problem like cps.~~ ~~https://github.com/ThoughtWorksInc/dsl-domains-cats~~ ~~In scala 3, it's a problem like cats-effect-cps.~~ ~~https://github.com/typelevel/cats-effect-cps~~ ~~I wrote a repo use these to implement wire.~~ ~~https://github.com/scalax/ce-injection-samples~~...

~~I think just use target effect type to support F[_] will be some difficulties.~~ ~~Wrap a case class like fs2 I think is more "type friendly". Just~~ ```scala // case...

~~Just have a test and will bring back some freeback.~~ ~~Sorry for read the code with some misconceptions since I have implemented it in a way with the less correlation.~~

And I find that macwire perhaps can work fine with [cats-effect-cps](https://github.com/typelevel/cats-effect-cps) Here's the new version with inject part(also use other way to implement, thanks for the powerful expressive ability in...

I think the problem is ```scala def * = (name, desc) (Product.tupled, Product.unapply) ``` slick can't find the id field in your table, so it throw the error. It likes...

@yln @charlescapps @cvogt @MattRMcFarland Just a workaround, use the code to show and hope for solving the problem: ```scala case class Friends2(name: String, nick: String, age: Int) class FriendTable2(tag: slick.lifted.Tag)...

I am not sure if this change will bring any other problem in update action. Since model without id field is so danger.