Fix Applicative (OutputBox input) instance (#565)

JordanMartinez · Jun 17, 2021 · 17f8592 · 17f8592
1 parent 0dbcb68
commit 17f8592
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...orld/05-Application-Structure/src/02-MTL/01-Foundations.md/03-Special-Output.md b/...orld/05-Application-Structure/src/02-MTL/01-Foundations.md/03-Special-Output.md
@@ -214,7 +214,7 @@ class (Apply f) <= Applicative f where
 
 instance (Apply (OutputBox input)) <= Applicative (OutputBox input) where
   pure :: forall a. a -> (OutputBox input) a
-  pure value = OutputBox (\input -> pure a {- Box's `pure` -})
+  pure value = OutputBox (\_ -> pure value {- Box's `pure` -})
 ```
 
 ## Bind
@@ -342,7 +342,7 @@ instance (Functor (OutputBox input)) <= Apply (OutputBox input) where
 
 instance (Apply (OutputBox input)) <= Applicative (OutputBox input) where
   pure :: forall a. a -> (OutputBox input) a
-  pure value = OutputBox (\input -> pure a)
+  pure value = OutputBox (\_ -> pure value)
 
 instance (Apply (OutputBox input)) <= Bind (OutputBox input) where
   bind :: forall originalOutput newOutput.