类型类派生访问默认值

使用镜像在 Scala 3 中执行类型类派生时，是否有一种干净的方法来访问案例类字段的默认值？例如：

case class Foo(s: String = "bar", i: Int, d: Double = Math.PI)

Mirror.Product.MirroredElemLabels将被设置为("s", "i", "d")。有没有类似的东西：(Some["bar"], None, Some[3.141592653589793])？

如果不能，这可以使用宏来实现吗？我可以同时使用镜像和宏来派生类型类实例吗？