[Haskell-cafe] Questions about Functor, Applicative, Monad

Hi everybody! Two questions in one: - When you define and instance of a Monad, why don't you get the Applicative and Functor instances for free? I seem that you can mechanically write them. - Do you have examples of things that are Functors but not Applicative? Applicative but not Monads? Tchuss Corentin