Haskell abstractions are true abstractions - not ad-hoc encapsulation like mainstream languages' frameworks.

That means you don't ever need to know their internals to understand their semantics.