explicit-quantification.md

@@ -32,7 +32,7 @@ invalid when scoped type variables are turned on. Although this is not backwards
 
 
 require explicit quantification everywhere. The main argument for this is
-consistancy. No type variables are in scope in a let bound type signature so
+consistancy. The main against is that it is not needed. No type variables are in scope in a let bound type signature so
 which variables should be quantified is unambiguous.