Homomorphic static analysis

Applicatives allow performing static analysis, while monads do not. But what does it mean in practice? Why is it so? And what kind of static analysis is this referring to? And what happens if we use categories instead of monads? These are some of the questions I’m trying to provide an answer to in my latest blog post: Homomorphic static analysis