3 ms·
Monad implies Applicative, so the "might need a free applicative part as well" is already a given.
by wereHamster 10y ago
Monad implies Applicative, so the "might need a free applicative part as well" is already a given.
- suls 10y agoYes and no. With Free Applicatives you can express side-effects such as parallelism .. not so with Free Monads afaik