Context Navigation

EffectSystem

v10	v11
48	48	}}}
49	49
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.
	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.
51	51
52	52	== Extended type information ==