no-implicit-prelude-import.md

@@ -75,13 +75,17 @@ every other package would then need to depend on) seems excessive.
 We therefore suggest that modules no longer implicitly import `Prelude`.
 
 
-This would also allow computer science courses to more easily use a
+This would make the language definition a little simpler, and remove a
+bit of magic.
+
+
+It would also allow computer science courses to more easily use a
 simplified, more monomorphic `Prelude` replacement for teaching (or,
 when asking students to implement basic functions like `length` as
 exercises, no `Prelude` at all).
 
 
-More generally, this would make the alternative preludes more attractive,
+More generally, this would make adoption of the alternative preludes easier,
 by making a more level playing field.