[Haskell-cafe] Desugaring of infix operators is (always?) the wrong way round

[Henning Thielemann]

On Tue, 25 Sep 2007, Dan Piponi wrote:

>> It's not so clear to me what the syntax for types should be in a postfix language.
>
> Postfix, of course! So you'd write
>
> data a Tree = Leaf | a a Tree
>
> Confusingly, ocaml does something like this, with postfix notation for
> types and prefix notation for function application.

I have seen the same mixing in Isabelle proof assistant.