Btw you can get "if then else" at AST level using RebindableSyntax [1], but pattern matching (case...) will still allow the end-user to "side step" this.

[1]: https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_gui...