Annotation of anonymous functions