Jon Pretty

I wrote a better* generic derivation macro for Scala because I needed one and @milessabin said it was impossible! http://magnolia.work 

What did I say was impossible?

Deriving implicits recursively without the need for `Lazy`, or similar...

Oh, I see. There is an "or similar" in your code ;-) FWIW what you have looks similar to @larsr_h's original TypeClass type class.

Oh, but the "or similar" (!) is only in my code, not users' code (in the form of Lazy)… I'll revisit @larsr_h's Typeclass² for inspiration!

Shapeless's Lazy lets users control how recursive knots are tied. TypeClass and your lib can only tie the knot in a limited number of ways.