Merge pull request #1 from jbrownson/master

leave off the "| r" in pureST

Author: paf31

docs/Control/Monad/ST.md

@@ -68,7 +68,7 @@ It may cause problems to apply this function using the `$` operator. The recomme
 #### `pureST`
 
 ``` purescript
-pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a
+pureST :: forall a. (forall h. Eff (st :: ST h) a) -> a
 ```
 
 A convenience function which combines `runST` with `runPure`, which can be used when the only required effect is `ST`.

src/Control/Monad/ST.purs

@@ -38,5 +38,5 @@ foreign import runST :: forall a r. (forall h. Eff (st :: ST h | r) a) -> Eff r
 -- |
 -- | 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.
-pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a
+pureST :: forall a. (forall h. Eff (st :: ST h) a) -> a
 pureST st = runPure (runST st)