Context Navigation

EffectSystem

v9	v10
48	48	}}}
49	49
50		~~This isn't to say that the `Monad` type class is not useful, and Disciple supports~~ 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. When writing Disciple programs we use effects for most state-based functions, and reserve `Monad` for things that a definitely use 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. When writing Disciple programs we use effects for most state-based functions, and reserve `Monad` for things that a definitely use a different notion of sequence, like parser combinators.
51	51
52	52	== Extended type information ==