pulp docs

Author: Jake Brownson

docs/Control/Monad/Eff.md

@@ -24,7 +24,7 @@ instance monadEff :: Monad (Eff e)
 #### `Pure`
 
 ``` purescript
-type Pure a = forall e. Eff e a
+type Pure a = Eff () a
 ```
 
 The `Pure` type synonym represents _pure_ computations, i.e. ones in which all effects have been handled.
@@ -39,9 +39,6 @@ runPure :: forall a. Pure a -> a
 
 Run a pure computation and return its result.
 
-Note: since this function has a rank-2 type, it may cause problems to apply this function using the `$` operator. The recommended approach
-is to use parentheses instead.
-
 #### `untilE`
 
 ``` purescript