addOne :: Expr
addOne = (Lam "w" (BinOp Plus (Ident "w") (Lit (LInt 1))))
addOne :: Expr
addOne = (Lam "w" (BinOp Plus (Ident "w") (Lit (LInt 1))))
addOne = (Lam "w" (BinOp Plus (Ident "w") (Lit (LInt 1))))