Fix typo in description of free applicatives (digital-asset#3438)

kgeonw · Nov 12, 2019 · 4b2fa95 · 4b2fa95
1 parent b3ae656
commit 4b2fa95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/daml-script/daml/Daml/Script.daml b/daml-script/daml/Daml/Script.daml
@@ -26,7 +26,7 @@ instance Functor f => Action (Free f) where
   Free x >>= f = Free ((>>= f) <$> x)
 
 -- | A free applicative, since we don’t have existentials we have to use the weird RankNTypes encoding, this is isomorphic to
--- forall b. Ap f b (Ap f (b -> a))
+-- forall b. Ap (f b) (Ap f (b -> a))
 data Ap f a
   = PureA a
   | Ap (forall r. (forall b. f b -> Ap f (b -> a) -> r) -> r)