Shapeless cannot derive type class instance for coproduct

Question

I want to derive instances of a type class Encoder for coproducts. For constructing Encoder for concrete case classes I use another type class, let