"Civilization advances by extending the number of important operations which we can perform without thinking about them." A. N. Whitehead. It's often said that

"Civilization advances by extending the number of important operations which we can perform without thinking about them." A. N. Whitehead. It's often said that a Lisp advantage is to be able to write sloppy - without fully understanding what's needed. I guess you can model that degree of "less constraints" in Haskell as well? Otherwise constant forcing "understand what you're doing" can sometimes be a burden.