Whilst s-expressions are no panacea, they do make some things shockingly easy. Partial application is simple and readable when AST==list.