> most changes/refactorings I usually encounter are due to trivial problems that can be automated This is interesting because another popular argument against

> most changes/refactorings I usually encounter are due to trivial problems that can be automated This is interesting because another popular argument against Haskell is "Haskell's type checker can only check trivial properties that can be automated". Either automating trivial things is valuable or it's not, and the anti-Haskell camp seems not to agree on which!