I might add that breaking the naming away (from traditions) also helps breaking the mindset away (from "that's how we always did it"). This allows for unified

I might add that breaking the naming away (from traditions) also helps breaking the mindset away (from "that's how we always did it"). This allows for unified abstract views on things normally distinguished from each other by words, syntax, conventions and mind. This allows stuff like pattern matching generic functional code like the mighty monad with it's transformer. Learning functional programming incl. higher kinded types (dependent types and such) isn't easy for someone used to e.g. Java,C,C++,Python,Go, and others I can't judge of the top of my head. If you ask yourself why said functional is beneficial, remember the popularity and typical confusion of the Monad posts/articles. You might not quite understand / "get" it, but they keep coming up and the authors seem intelligent. So you (might) just have a case of the Blub Paradox[0]. You need to understand it to grok it's usefulness/desirability. [0]: http://www.paulgraham.com/avg.html http://www.paulgraham.com/avg.html