// -*- sugar -*-
        
e:                                      // term
> Fun: 'fun' id ++ ',' '.' e
< App: e e
=  Atom: '(' e ')'
| Id: id
;