Coproducts example
Merge branch 'master' into topic/shapeless-2.1
Change evidence requirement on coproduct using