shapeless.ops.coproduct
Typeclass checking that : - coproduct is a sub-union of a bigger coproduct - embeds a sub-coproduct into a bigger coproduct
Typeclass checking that : - coproduct is a sub-union of a bigger coproduct - embeds a sub-coproduct into a bigger coproduct