Why Function Arguments Are Not Function Colors

I can only recommend reading Ron Pressler's writings on that topic: https://www.infoq.com/articles/Dont-graft-Monads-onto-Imperative-Languages/