Support for arbitrary evaluation of `Expr[A]` -> `A` at compile-time

Language Design
6

I agree. Would love to see a constrained version of this.