[Haskell-cafe] ($) and ApplicativeDo

[amindfv at gmail.com]

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