kittens icon indicating copy to clipboard operation
kittens copied to clipboard

[Scala 3] derived instances are not stack-safe

Open TimWSpence opened this issue 3 years ago • 0 comments

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

TimWSpence avatar May 24 '22 11:05 TimWSpence