From decdfdba919361ca2e656c044ca59e0c8b692dca Mon Sep 17 00:00:00 2001
From: Types Logics Cats
Date: Sat, 31 Aug 2019 20:32:05 -0400
Subject: [PATCH] Fix small type error in functor-applicative,-monad post
---
posts/functor-applicative-monad.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/posts/functor-applicative-monad.md b/posts/functor-applicative-monad.md
index f7286c2..5e9704a 100644
--- a/posts/functor-applicative-monad.md
+++ b/posts/functor-applicative-monad.md
@@ -120,7 +120,7 @@ operator. The code `let+ x = a and+ y = b in c`{.ocaml} desugars into
`map`{.ocaml} with its arguments reversed, then it would have type
`('a * 'b) t -> (('a * 'b) -> 'c) -> 'c t`{.ocaml} in this context, as the
lambda in the desugaring takes a pair as an input. Therefore, `(and+)`{.ocaml}
-must have type `'a t * 'b t -> ('a * 'b) t`{.ocaml} for it to define an
+must have type `'a t -> 'b t -> ('a * 'b) t`{.ocaml} for it to define an
applicative. So, applicatives are about "preserving" the product.
Given:
--
2.26.2