The other way to look at it is that Haskell allows all of this information which would be otherwise implicitly embedded in the abstractions, style, and conventi

The other way to look at it is that Haskell allows all of this information which would be otherwise implicitly embedded in the abstractions, style, and conventions of a language to float to the top to a formal, verified type language. So you can see them as a primary tool to handle the complexity or the driving force for exposing all the complexity in the first place!