4 ms·
To add on: For example, monads don't "compose" as nicely as applicatives. You can automatically compose two applicatives and have a guarantee the the result ob
by smadge 11y ago
To add on:
For example, monads don't "compose" as nicely as applicatives. You can automatically compose two applicatives and have a guarantee the the result obeys the applicative laws. Like you say, for monads you would have to write your own monad transformer, and hopefully verify it is still a law abiding monad. You don't have to write a transformer for applicatives.
- willtim 11y agoMonad transformers are not the only way of combining effects.