Fix compile errors in coproduct codecs due to differences in Shapeless 2.1