import scala.deriving.*
import scala.compiletime.*
object Test {
 class Reader[A]()
 given Reader[Int] = Reader()
 given Reader[Double] = Reader()
 type PutReader[T] = T match {
 case (a, b) =>
 Reader[b]
 }
 inline def test[
 A,
 ](using
 aMirror: Mirror.ProductOf[A],
 ): Unit = {
 inline erasedValue[aMirror.MirroredElemLabels] match {
 case _: (head *: tail) =>
 type ALabels = head *: tail
 inline erasedValue[aMirror.MirroredElemTypes] match {
 case _: (head *: tail) =>
 type ATypes = head *: tail
 type AMap = Tuple.Zip[ALabels, ATypes]
 type Readers = Tuple.Map[AMap, PutReader]
 summonAll[Readers] // works
 }
 }
 }
 inline def brokenTest[
 A,
 ](using
 aMirror: Mirror.ProductOf[A],
 ): Unit = {
 type AMap = Tuple.Zip[aMirror.MirroredElemLabels, aMirror.MirroredElemTypes]
 type Readers = Tuple.Map[AMap, PutReader]
 summonAll[Readers] // doesn't work
 }
 case class Foo(a: Int, b: Double)
 test[Foo]
 brokenTest[Foo]
}