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?