16 Jun
2016
16 Jun
'16
12:56 p.m.
On Thu, Jun 16, 2016 at 12:49:03PM -0400, amindfv@gmail.com wrote:
Wow, that's pretty unexpected. Another repro case:
p = pure
bar :: Applicative f => f a bar = do x <- pure "ok" p x
... gives the same error. So ApplicativeDo statements *must* end with exactly the statement "pure"?
That's pretty strange since it has a perfectly good Applicative interpretation: fmap p (pure "ok") Tom