Re: [Haskell-cafe] ($) and ApplicativeDo

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, <amindfv@gmail.com> wrote:

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