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

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.