The aim is to port the development done for [#922](https://github.com/milessabin/shapeless/issues/922) and [#1051](https://github.com/milessabin/shapeless/issues/1051) into shapeless-3.
