no-monomorphism-restriction.md

@@ -95,7 +95,7 @@ There have been 4 other suggestions related to the monomorphism restriction:
 
 >
 >
-> Seems against the spirit of Haskell.
+> Seems against the spirit of Haskell.  But see [ Let should not be generalised](http://research.microsoft.com/~simonpj/papers/constraints/index.htm) which argues the case for this approach, at least for nested bindings.
 >
 >