milessabin/shapeless — pull request #88 by larsrh (2014-04-06 14:50:15+00:00)
Title: require implicit *TypeClass instance at macro invocation point

Advantage: Macro won't get executed for `C[T]` when no `TypeClass[C]` instance is in scope