Update readme

Author: no-longer-on-githu-b

README.md

@@ -43,7 +43,7 @@ Similarly, if we were using `Free` directly, instead of using type classes to ab
 ```haskell
 data ConfigF a
   = ReadConfig (Config -> a)
-  
+
 serverAddress :: ReaderT (PrismT' f ConfigF) (Free f) InetAddress
 ```
 
@@ -58,18 +58,20 @@ Therefore, MTL and direct-Free approaches can be considered alternatives to Pure
 `IO` only has one function, which should only be used in your `main`:
 
 ```haskell
-runIO :: forall a. IO a -> Aff (infinity :: INFINITY) a
+unwrap :: forall a. IO a -> Aff (infinity :: INFINITY) a
 ```
 
 This converts an `IO` into an `Aff`, which you can then "convert" into a
 runnable `Eff` using `launchAff` or `runAff`.
 
 The effect row is closed, which is intentional because `INFINITY` represents
-all possible effects. This will help ensure you only call `runIO` at the top
+all possible effects. This will help ensure you only call `unwrap` at the top
 level of your program.
 
 Besides this, `IO` has almost all the same instances as `Aff`, and may be used
 in the same way. In addition, a new `MonadIO` class has been introduced which
 allows you to lift `IO` computations into other monads that are as powerful.
 
+Similarly, `IOSync` exists as an alternative for `Eff`.
+
 Happy nuke launching!