From 84022b91030a292489ffa125d961a039b2e5e065 Mon Sep 17 00:00:00 2001
From: Tomas Janousek <tomi@nomi.cz>
Date: Mon, 16 Jan 2017 20:19:17 +0100
Subject: [PATCH] Match coding style of `runNat` with the rest of the codebase

This is really minor but the next commit adds a `runNatS` function that
would require a 5-var forall and that's starting to be really confusing,
making people think why it's there.
---
 src/Control/Monad/Freer.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Control/Monad/Freer.hs b/src/Control/Monad/Freer.hs
index 0c77848..4bea4c9 100644
--- a/src/Control/Monad/Freer.hs
+++ b/src/Control/Monad/Freer.hs
@@ -36,7 +36,6 @@ import Control.Applicative (pure)
 import Control.Monad.Freer.Internal
 
 runNat
-  :: forall m r e w.
-     (Member m r)
+  :: Member m r
   => (forall a. e a -> m a) -> Eff (e ': r) w -> Eff r w
 runNat f = handleRelay pure (\v -> (send (f v) >>=))