var *folder = new Folder (
  "Hello, World!", new MessageFilter (),
                   new LayoutManager (), [=] (var WR *folder) {
                                                                ...
                                                              });
