[verttii]

You mean that decomposing abstractions with substitution works better in Haskell than in a lot of the other languages because programs in Haskell are essentially (pure) functions and abstractions are built by composing functions?

[whateveracct]

Yeah - referential transparency is what allows it to Just Be Substitution.