壓扁密封的情況下的類層次

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))到HLists的HList？
• 即使在某個函數f(e: Expr)內，即在編譯時未知e的具體結構時，該轉換是否還能工作？

Answer 1

事實證明，這已經回答了SO here並且有在無形分發無形-2.1.0-快照的相應example。