(Note: even smarter parallel / is possible, given non-homogenous
performance of u, but needs primitives in order to build a concurrent
queue. A primitive 'wait for any' (instead of 'wait for all') would be of
use here--I cannot bear to poll--but proper queues would be better.)
On Tue, 12 Apr
Part 2: reduction.
I cannot in good conscience write an adverb which claims to be a parallel
analogue to / but which blindly assumes all verbs are associative. In
fact, I will require a stronger than associativity: that verbs reduced in
parallel are monoids. This starts with the following def
