kittens
kittens copied to clipboard
[Scala 3] derived instances are not stack-safe
The following derivations are not stack-safe:
-
Functor -
Contravariant
This is because the shapeless 3 ErasedXXXInstances#map has mutual recursion between the Product and Coproduct instances when dealing with recursive sum types like List