Hi Corentin,

This may be a good answer for some of your questions: http://stackoverflow.com/questions/7220436/good-examples-of-not-a-functor-functor-applicative-monad

Kenn


On Mon, May 5, 2014 at 6:31 PM, Corentin Dupont <corentin.dupont@gmail.com> wrote:
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

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe