about to put monad experiments in experimental branch
Future/Promise as in tinkerbell, use reply for Contract
Some sanity restored, Arrows now apply to Futures, and Futures can apply to Eventuals, so there's both pipelines available: one efficient, and the other more programmer proof