generic

trait GenericFunctorReads[F[A] <: GenTraversable[A], T] extends AnyRef
trait LowPriorityMapFReadsAll extends AnyRef
trait LowPriorityMapReadsAll extends AnyRef
trait MapFReadsAll[F[T] <: GenTraversable[T], T] extends AnyRef
trait MapFReadsAll1 extends MapFReadsAll2
trait MapFReadsAll2 extends LowPriorityMapFReadsAll
trait MapReadsAll[T] extends AnyRef
trait MapReadsAll1 extends MapReadsAll2
trait MapReadsAll2 extends LowPriorityMapReadsAll
case class MissingField(name: String) extends Throwable with Product with Serializable
trait ReadsAll[L <: HList] extends AnyRef
implicit final class ReedsShapelessStringFMapOps[F[A] <: GenTraversable[A]] extends AnyVal
implicit final class ReedsShapelessStringFunctorOps[F[A] <: GenTraversable[A]] extends AnyVal
implicit final class ReedsShapelessStringMapOps extends AnyVal
case class WrongArity(expected: Int, actual: Int) extends Throwable with Product with Serializable
case class WrongFieldArity(name: String, expected: Int, actual: Int) extends Throwable with Product with Serializable

object GenericFunctorReads
object MapFReadsAll extends MapFReadsAll1
object MapReadsAll extends MapReadsAll1

The priority structure is designed so that if there is a default available for a key, it will be surfaced with higher priority; but if the default record does not include a key, an instance can still be summoned.
object ReadsAll
object Sequencer extends Poly2