monomorphism-restriction/monomorphic-binding-operator.md

+# A monomorphic binding operator
+
+
+Introduce a new binding operator for monomorphic bindings, eg. `:=`.
+
+
+See [ John Hughes' proposal](http://www.haskell.org//pipermail/haskell-prime/2006-January/000038.html).
+
+**For:**
+
+- Simpler and more consistent than the M-R
+
+**Against:**
+
+- The reason for having two kinds of binding is subtle and hard to explain to newcomers.
+- Still a wart, but an even more visible one.