It took me giving my own talk today to realise it (!) but I can abstract over the runtime impl' (currently using only Future.sequence, http://future.map & future.get.get) with just a couple of standard typeclasses. It could then represent general typelevel DAGs of things...
-
I should probably look at your slides, because I don't yet get that (no pun intended).
I'm not sure how much the slides will help, but they're probably your best shot... ;)