Anton Voitsishevskii

Hi @fthomas , can you merge this MR please?

IIRC scala 3 is already supported, as the #181 has been merged and released already. https://github.com/vpavkin/circe-magnolia/releases/tag/v0.7.0-SNAPSHOT https://scastie.scala-lang.org/M9MbBcIJSuCzXqqb2C9H1g

@fthomas it's been a while, but here it goes.

The compilation fails with the following error when I try to add this test: ``` diverging implicit expansion for type org.scalacheck.Arbitrary[(scala.math.BigDecimal, eu.timepit.refined.numeric.Greater[shapeless._0])] starting with method arbTuple2 in trait ArbitraryArities checkAll("CommutativeSemigroup[PosBigDecimal]",...

Someone who has access to merging needs to merge it

> @FunFunFine not sure this does really makes a lot of sense, as comparing to cats/cats-effect - we don't have much to import hence not sure feature of being able...

One important thing to discuss is how to integrate it in existing code. If `LogOf` had two type-parameters, then it would be simpler: just make a `LogOf[Id, F]` returning method....

> hence I'd recommend to NOT overcomplicate, imho .toTry.get will be simpler :) I do not want to make my code impure. `.toTry.get` won't work for me unfortunately.

> ```scala > ```scala > trait MyClass[A[_], B[_], C[_]] { > def a: A[…] > def b: B[…] > def c: C[…] > } > ``` > > > >...