The syntax becomes small, predictable and, crucially, is in itself a data structure. This means that everything composes in the same way, without special cases, and it lends itself well to meta programming when necessary.