1 files changed, 4 insertions, 4 deletions
diff --git a/provider/posts/beuteltier-2.lhs b/provider/posts/beuteltier-2.lhs
index 4ffd75f..d5e0294 100644
--- a/provider/posts/beuteltier-2.lhs
+++ b/provider/posts/beuteltier-2.lhs
@@ -69,10 +69,10 @@ Quite often we find ourselves in the position that we want to alter some small p
 complicated structure. We would therefore like to write the following:
 ~~~ {.haskell .numberLines}
-updateFoo :: Monad m => Foo -> m Foo
+updateFoo :: Foo -> Monad Foo
-updateFoo = alter $ do
+updateFoo x = alter x $ do
-  bar <~ constructNewBarInM
+  bar <~ (constructNewBar :: Monad Bar)
-  buz .= makeConstantBuz
+  buz .= (makeConstantBuz :: Buz)
 ~~~
 The definitions below allow us not only to do so, but also provide some convenience

diff --git a/provider/posts/beuteltier-2.lhs b/provider/posts/beuteltier-2.lhs index 4ffd75f..d5e0294 100644 --- a/provider/posts/beuteltier-2.lhs +++ b/provider/posts/beuteltier-2.lhs
@@ -69,10 +69,10 @@ Quite often we find ourselves in the position that we want to alter some small p
69	complicated structure. We would therefore like to write the following:	69	complicated structure. We would therefore like to write the following:
70		70
71	~~~ {.haskell .numberLines}	71	~~~ {.haskell .numberLines}
72	updateFoo :: Monad m => Foo -> m Foo	72	updateFoo :: Foo -> Monad Foo
73	updateFoo = alter $ do	73	updateFoo x = alter x $ do
74	bar <~ constructNewBarInM	74	bar <~ (constructNewBar :: Monad Bar)
75	buz .= makeConstantBuz	75	buz .= (makeConstantBuz :: Buz)
76	~~~	76	~~~
77		77
78	The definitions below allow us not only to do so, but also provide some convenience	78	The definitions below allow us not only to do so, but also provide some convenience