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