Georgi Krastev
Georgi Krastev
At this point adding higher-kinded features to Shapeless 2 is not a good idea
That's an issue with type inference in the compiler and at this point we can't change the encoding of `@@` because it would change erasure and cause binary incompatibility.
I guess it could happen with more usage of macros
@milessabin do you mean something like `FnGeneric` in this PR: typelevel/kittens#223 Do you think it makes sense to contribute it to shapeless instead?
> I don't have any strong feelings about whether that PR belongs in kittens or here. Me neither. Then I would keep it in kittens.
If anyone needs this they can use the version from Kittens: https://github.com/typelevel/kittens/pull/223
> looks like CI is busted? I think it doesn't run until conflicts are resolved
Shapeless 3.0 is out at https://github.com/typelevel/shapeless-3
Shapeless 3 is here: https://github.com/typelevel/shapeless-3
Also how to check binary compatibility?