From f29771c3549b86eb02b0bc6eadbb52cd71d8a4ed Mon Sep 17 00:00:00 2001
From: "John A. De Goes" <john@degoes.net>
Date: Sat, 13 Aug 2016 09:10:10 -0600
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 08d9d14..9e78d5f 100644
--- a/README.md
+++ b/README.md
@@ -44,7 +44,7 @@ Similarly, if we were using `Free` directly, instead of using type classes to ab
 data ConfigF a
   = ReadConfig (Config -> a)
   
-serverAddress :: PrismT' f ConfigF -> Free f InetAddress
+serverAddress :: ReaderT (PrismT' f ConfigF) (Free f) InetAddress
 ```
 
 In this case, we have all the benefits of finely-grained effects, including semantic descriptions of those effects, but without needing to use labels in effect rows.