From the spec port section 2.9.4: > (TODO: what notation should I use for anonymous functions in the spec?)