Oh right, interesting. Now generally speaking I'd suspect things like concurrency, lazy and non-determinism should be made explicit in a language, these concepts should be language level not library/macro level. I'm quite curious to see how much this affects the expressiveness of the system. But I'm splitting hairs! This is LISP the old granddad of succinctness.