16 Jun
2016
16 Jun
'16
12:49 p.m.
Hello, Tom.
I think you can find this ticket relevant:
https://ghc.haskell.org/trac/ghc/ticket/11835
--
Alexander
On 16 June 2016 at 19:08,
foo :: Applicative f => f String foo = do x <- pure "this works" pure x
... but replace "pure x" with "pure $ x" and it doesn't typecheck: a monad instance is required!
Tom _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
-- Alexander