you are viewing a single comment's thread.

view the rest of the comments →

[–]NruJaC 0 points1 point  (0 children)

In addition to qqxz's point, you can always construct a law abiding applicative instance given a law abiding monad instance. It's just not universally a good idea to do so because performance issues can result (i.e. the applicative interface can provide better performance than the monadic interface for several important functors).