scala - 展平密封的案例类层次结构

Question

假设我有一个密封的案例类层次结构，如下所示:

sealed trait Expr
case class Const(val: Double) extends Expr
case class Plus(x: Expr, y: Expr) extends Expr
case class Times(x: Expr, y: Expr) extends Expr

是否可以自动转换表达式，例如Plus(1,Plus(2,3))变成 HList 的 HList？

即使在某些函数内部，转换也能正常工作 f(e: Expr) ，即当编译时不知道 e 的具体结构时？

Answer 1

事实证明，这已经在 SO here 上得到了回答。并且有一个相应的 example在 shapeless-2.1.0-SNAPSHOT 的 Shapeless 分布中。