Looks good to me. Though `panic "DsExpr.dsExpr: HsStatic: non-variable expression."` would be better. It's not an unhandled case - it's a violation of a documented invariant.