Divide and conquer is all well and good, but it often ends up being: A: We have a problem. I know, we'll use divide and conquer! Runs off. B: Uh, that's actua

Divide and conquer is all well and good, but it often ends up being: A: We have a problem. I know, we'll use divide and conquer! Runs off. B: Uh, that's actually Banach-Tarski^W^Wmicroservices? Wait, come back! later B: Now we have two problems, contorted to fit into a spherical subspace^W^WIO monad, and a dependency on the axiom of choice^W^W^Wasyncio library. A: Wait, why are there monads? This is Javascript! B: There are always monads, it's just a question of whether you type system is overengineered anough to model them.