Extreme branchless: Expr without GADTs or sum-types | Hacker News Reader