Context Navigation

EffectSystem

v3	v4
38	38	}}}
39	39
40		In this type, `!e1` is an ''effect variable'', much like `a` is a type variable. `!Console` is an ''effect constructor'' which tells us what else happens when `putStr` is called, besides ~~evaluating the return~~ value.
	40	In this type, `!e1` is an ''effect variable'', much like `a` is a type variable. `!Console` is an ''effect constructor'' which tells us what else happens when `putStr` is called, besides returning a unit value.
41	41
42	42	Because this second version of `putStr` doesn't have the monad in its type, we can just use the plain version of `map` and not have to worry about `mapM`.