I want:

  Many more examples contrasted with the equivalent imperative code.

  Examples with elaborate data structures.

  Implementation overview (current & objectives).

  Benchmarks on a multicore.