[Haskell-cafe] ($) and ApplicativeDo

[KC]

Think of the types of

pure x

And

pure $ x

--
--

Sent from an expensive device which will be obsolete in a few months! :D

Casey

On Jun 16, 2016 9:06 AM, <amindfv at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160616/1cf67ee5/attachment.html>