Re: Untyped overloading?

[Udiknedormin]

Surprisingly, it reports illformed AST when I try this.

Overloading by node kind seems a nice option but doesn't really solve my 
problem.  Just like in the example, I only want X in Y form for the first 
argument to match.