Playing with https://propensive.com/opensource/magnolia/ … it's so easy to implement automatic typeclass derivation, thanks to @propensive, ( use it for avro deserialization, it's currently more performant than https://github.com/sksamuel/avro4s )
With Magnolia, you would probably want to implement your own handlers for Either and Option which recurse on implicit search. Treating them as normally-derived coproducts probably isn't best.