"no global state" sure but sprawling monad constraints mean you're jumping around more than other languages.

The terseness of Haskell just hides the inherent complexity of the problem. The AI (or human) still needs to uncover that complexity in order to do non-trivial things.