milessabin/shapeless — pull request #249 by mandubian (2014-10-17 10:48:29+00:00)
Title: Coproduct.enlarge Sub-Coproduct to Super-Coproduct

- checks that a Coproduct is a sub-group of a _bigger_ Coproduct
- enlarges a _sub_-Coproduct into a _super_-Coproduct