Georgi Krastev
Georgi Krastev
@milessabin I don't know about that. But here is how to reproduce inconsistencies in the subtype relation involving type variables: ```scala import scala.reflect.runtime val universe = runtime.universe.asInstanceOf[runtime.JavaUniverse] import universe._ val...
Further minimization: ```scala object Test { type Parent type Scope = { val x: Int } implicit def refined[A]: Parent with A = ??? implicitly[Parent with Int] // ok implicitly[Parent...
It sounds reasonable but there are some practical problems, the most notable of which is having a dependency on fs2. I wonder if this can be generalised somehow to depend...
I don't think `FunctorK` is enough though - you are also using `flatMap` in this PR
> this seems like an IntelliJ issue that should be fixed instead of worked-around. I agree it should be fixed in Intellij but I don't see why it means that...
Shapeless 3 is here: https://github.com/typelevel/shapeless-3
I think instead of ambiguity it would be better if this generates a `Lens[T, String]`
> I honestly think it would be better to retire shapeless lenses in favour of Monocle. Fair point although I'm not sure if Monocle offers the same convenience (e.g. `Dynamic`)
This is deeper than I thought. Implicit parameters of case class are captured at the materialization site of `Generic`. To capture them at call sites of `from` they have to...