Fair point on PFP.<p>&gt; I&#x27;m not entirely sure what you mean by &quot;this usage&quot; (lists?) [...]<p>By &quot;this usage&quot;, I meant containers, generally. Maybe algebraic data types would be more specific.<p>&gt; [...] blocking actors like Erlang&#x27;s (or our own Quasar) make great use of (lightweight) threads [...]<p>Have you been following the Reactive Manifesto [1] and reactive streams [2]? If so, do you have any thoughts on whether this it builds out design practice in a complementary way to your suggestion here, or is it divergent?<p>&gt; Using them to create lightweight threads solves almost all of the problems with the monadic style, [...]<p>My concern here would be whether you&#x27;d then be recreating the old problem you mentioned of having many implicitly monadic constructs in imperative programming but no good way of adding your own. In the analogous case in PFP, even if the continuation monad is the mother of all monads (and I haven&#x27;t finished reading that post you linked to), I&#x27;d have to imagine it wouldn&#x27;t be a whole lot of fun to use it exclusively. Or else people would do it!<p>&gt; Where does Java&#x27;s verbosity bother you here?<p>I probably should have withheld comment on Java&#x27;s verbosity. There&#x27;s probably nothing wrong with it. I think I&#x27;m just used to Scala and dynamically typed languages.<p>Anyway, awesome work. You make a lot of great points.<p>[1] <a href="http:&#x2F;&#x2F;www.reactivemanifesto.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.reactivemanifesto.org&#x2F;</a><p>[2] <a href="http:&#x2F;&#x2F;www.reactive-streams.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.reactive-streams.org&#x2F;</a>