What's the Primary Value in the Primary Weakness of Dialyser?

One thing equalizer can provide is, it can make sure that your documentation in form of types and specs, and your code they do not diverge. It's extremely important for programmers coming from other backgrounds like Haskell or Scala. And I would say code base because of this becomes more readable and more navigable. Just to clarify the meaning of the types and the intent of the types.