prelude.md

@@ -115,6 +115,9 @@ module Prelude
 ```
 
 
+(if we have scoped type variables, do we still need asTypeOf?)
+
+
 Everything else that is currently in the Haskell'98 Prelude is re-distributed across a variety of small modules. Where a syntactic desugaring rule currently uses an entity from the Prelude, the new interpretation is that it uses whatever binding of that entity is in scope - if there is no such entity in scope, it is an error.  For compatibility, we define a wrapper module called Prelude.Haskell98 which re-exports the original Haskell'98 Prelude:
 
 ```wiki