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.