15 Sep
2011
15 Sep
'11
7:28 p.m.
Yes. Hence why I pointed out some (myself included) would argue that the lazy versions are not properly monads.
Sent from my iPad
On Sep 15, 2011, at 5:12 PM, Henning Thielemann
On Thu, 15 Sep 2011, Edward Kmett wrote:
The Strict/Lazy writer split has nothing to do with the strictness of your monoid, but rather whether or not operations such as:
fmap f ~(w, a) = (w, f a)
Doesn't this violate the fmap law
fmap id = id
because
fmap id undefined = (undefined, undefined)
?