From 7f98aa5b7f740662593c87e0fe138c95a62ede85 Mon Sep 17 00:00:00 2001 From: jim Date: Wed, 8 Apr 2015 00:04:55 -0400 Subject: [PATCH] some framing text --- topics/week9_monad_transformers.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/week9_monad_transformers.mdwn b/topics/week9_monad_transformers.mdwn index 68ea563c..f9da05ad 100644 --- a/topics/week9_monad_transformers.mdwn +++ b/topics/week9_monad_transformers.mdwn @@ -165,7 +165,7 @@ When List is on the inside, the failed results just got dropped and the computat On the other hand, when Option is on the inside, as in LO, failures (which we again represent by `mzero`s from the Option monad, not the List monad's own `mzero`; but here since it's the inner monad we need to `hoist Monad.Option.mzero`) abort the whole computation. (If you instead used the List monad's `mzero`, it'd be ignored by `++` and you'd end with just `Some [30]`.) -This is fun. Notice the difference it makes whether the second `++` is native to the outer `Monad.List`, or whether it's the inner `Monad.List`'s `++` hoisted into the outer wrapper: +This is fun. Here is a List around a List. Notice the difference it makes whether the second `++` is native to the outer `Monad.List`, or whether it's the inner `Monad.List`'s `++` hoisted into the outer wrapper: # module LL = Monad.List.T(Monad.List);; -- 2.11.0