This line just blows up the compiler in scala 2.12.x. In https://github.com/underscoreio/shapeless-guide/blob/master/src/pages/labelled-generic/literal-types.md . Issue here: https://github.com/milessabin/shapeless/issues/674 . Perhaps just a note not to try it with scala 2.12.x?