X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek9_monad_transformers.mdwn;h=b01904308de12bd76d439440ba58fffc7a618670;hp=6d8b5b74bc953aa7c0285d937e8b2d8158c058cf;hb=73dbb6a826f852b98672a36733be3d33b7cb00f6;hpb=b35732e3e34bb499d0b7775b81632d40d7e3876e diff --git a/topics/week9_monad_transformers.mdwn b/topics/week9_monad_transformers.mdwn index 6d8b5b74..b0190430 100644 --- a/topics/week9_monad_transformers.mdwn +++ b/topics/week9_monad_transformers.mdwn @@ -172,7 +172,7 @@ This is fun. Notice the difference it makes whether the second `++` is native to # LL.(run(mid 1 ++ mid 2 >>= fun x -> mid x ++ mid (10*x) ));; - : int LL.result = \[[1; 10; 2; 20]] # LL.(run(mid 1 ++ mid 2 >>= fun x -> hoist Monad.List.(mid x ++ mid (10*x) )));; - - : int LL.result = \[[1; 2]; [1; 20]; [10; 2]; [10; 20]] + - : int LL.result = [[1; 2]; [1; 20]; [10; 2]; [10; 20]]