Component looks something like this?
A possibly useful signature
Let's try this
Uncomfortable edge case
Well, this was a good idea, too bad shapeless doesn't actually have :::