Update Shapeless 3 to new given syntax

[nicolasstucki]

Update Shapeless 3 to use the syntax introduced in #7210.

To simplify the transition we should wait for the fix of #7238.

[nicolasstucki]

See #7210 (diff)

[milessabin]

PR: #7244.