From d32d4bd11cd792e4e3d0e40dae1310a980451f03 Mon Sep 17 00:00:00 2001
From: Mutex <31218125+mutex-w@users.noreply.github.com>
Date: Wed, 16 Sep 2020 21:16:20 +0900
Subject: [PATCH] Fix the asks function

---
 src/Control/Comonad/Env/Class.purs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Control/Comonad/Env/Class.purs b/src/Control/Comonad/Env/Class.purs
index e8fbd050..4ce00b2b 100644
--- a/src/Control/Comonad/Env/Class.purs
+++ b/src/Control/Comonad/Env/Class.purs
@@ -15,7 +15,7 @@ class Comonad w <= ComonadAsk e w | w -> e where
   ask :: forall a. w a -> e
 
 -- | Get a value which depends on the environment.
-asks :: forall e1 e2 w. ComonadEnv e1 w => (e1 -> e2) -> w e1 -> e2
+asks :: forall e1 e2 w a. ComonadAsk e1 w => (e1 -> e2) -> w a -> e2
 asks f x = f (ask x)
 
 -- | The `ComonadEnv` type class extends `ComonadAsk` with a function