[Haskell-cafe] Applicative but not Monad