"Distributive property" with Shapeless...

GADT Type as Shapeless Coproduct -- how to build an Interpreter with an arbitrary number of Algebras...

Coproducts in shapeless does not compile...

Get a specific implementation of a parametrized trait from a parametrized function...

How to make only few datatype which is not related to each other acceptable by generics...

Shapeless: Iterate over the types in a Coproduct...

My coproduct encoding is ambiguous...