To answer your question, the docs on typelevel.org were taken down in
favour of the docs that are published from Maven Central via
javadoc.io, on the grounds that the latter are versioned and published
concurrently with the corresponding binary artefacts. For the latest
shapeless docs see,
> --
> You received this message because you are subscribed to the Google Groups
> "Shapeless Dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to shapeless-de...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.