One more proof by construction that we can improve derivation in #scala with #macros:

https://github.com/nguyenyou implemented sanely automatic derivation for Circe, and got some really nice numbers.

https://github.com/nguyenyou/circe-sanely-auto