| 50 | | We still think the `Monad` type class is useful, and we support it as well. However, when writing Haskell programs we've found that most uses of `Monad` are to manage the internal state of the program. In Disciple, we use effects for state-based functions because it's more convenient, and reserve `Monad` for things that definitely want a different notion of sequence, like parser combinators. |
| | 50 | We still think the `Monad` type class is useful, and we support it as well. However, when writing Haskell programs we've found that most uses of `Monad` are to manage the internal state of the program. In Disciple, we use effects for state-based functions because it's more convenient, and reserve `Monad` for things that definitely want a non-standard notion of sequence, like parser combinators. |