cats.derived
Due to a limitation in the way Shapeless' describe is currently implemented, Show can't be derived for ADTs which are _both_ recursive _and_ generic in one or more type parameters.
describe
Show
See: https://github.com/typelevel/kittens/pull/48#issue-249836267 https://github.com/milessabin/shapeless/issues/750
See the test suite for more precise examples of what can and cannot be derived.
Due to a limitation in the way Shapeless'
describe
is currently implemented,Show
can't be derived for ADTs which are _both_ recursive _and_ generic in one or more type parameters.See: https://github.com/typelevel/kittens/pull/48#issue-249836267 https://github.com/milessabin/shapeless/issues/750
See the test suite for more precise examples of what can and cannot be derived.