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]:

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_guide/glasgow_exts.html#ghc-flag--XRebindableSyntax https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_gui...