<div dir="ltr"><div><div><div><div>Hi everybody!<br></div>Two questions in one:<br></div>- 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.<br>
</div>- Do you have examples of things that are Functors but not Applicative? Applicative but not Monads?<br><br></div>Tchuss<br>Corentin<br></div>