In languages with no side-effects, like Haskell, we can substitute equals for equals because f(x) = f(x) for every value of x.
В языках без побочных эффектов, таких как Haskell, мы можем заменить равенство на равенство, потому что f(x) = f(x) для любого значения x.