milessabin/shapeless — pull request #258 by alexarchambault (2014-10-26 20:50:06+00:00)
Title: Coproduct injective basis

Here it is, with tests of `c.embed.deembed == c`.

Fixes https://github.com/milessabin/shapeless/issues/253