Kacper Korban

HI, this might be connected to https://github.com/lampepfl/dotty/issues/13146

@ghostbuster91 Ok, so the problem actually involves a hierarchy that wasn't edited in the commit. I must have missed it before, sorry :sweat_smile: Adding explicit instances for Entity seems to...

Yes, it does. But that feels like a dotty bug since the instance is generated correctly. The only problem is with finding already existing instances.

I think that this dotty issue is unlikely to be solved in the near future. It seams like a limitation and not a bug. Maybe we will have to hack...

It might help, though I haven't worked on macrolia for a while. The current implementation works for some cases, but I had problems with implementing `isType` and `asType` for objects.

I agree. I've been thinking about rewriting most of the derivation logic to macros for a while. But when it comes to ditching Mirrors altogether, there is IMHO a problem...

Ok, so that is the case. I just missed it... repeatedly... :facepalm: So I think that it should be more or less straightforward then.

Ok, so this branch should now pass at least as many tests as the [`scala3` ](https://github.com/softwaremill/magnolia/tree/scala3) branch does. So apart from the compatibility issues and overall being rough around the...

But is it something that we actually care about? if `Expr.summon[Schema[T]]` returns `None` then we just use the same implicit method (`Typeclass.derived`) but by hand this time. The only thing...

@OlegYch You obviously can flatten the hierarchy in this rewrite too, but I'm not sure if that's what we want. Don't we lose some information, when we flatten the type...