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
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